 			$scope.pdf.projectTooLarge = false
 			$scope.pdf.compileTerminated = false
 			$scope.pdf.compileExited = false
+			$scope.pdf.failedCheck = false
 
 			# make a cache to look up files by name
 			fileByPath = {}

				$scope.stop_on_validation_error = false
				$scope.shouldShowLogs = false # hide the logs while compiling

			ide.$scope.$broadcast("flush-changes")

			options.rootDocOverride_id = getRootDocOverride_id()

			params = {}
			if options.isAutoCompile
				params["auto_compile"]=true
			# if the previous run was a check, clear the error logs
			$scope.pdf.logEntries = [] if $scope.check
			# keep track of whether this is a compile or check
			$scope.check = if options.check then true else false
			# send appropriate check type to clsi
			checkType = switch
				when $scope.check then "validate" # validate only
				when options.try then "silent" # allow use to try compile once
				when $scope.stop_on_validation_error then "error" # try to compile
				else "silent" # ignore errors
			return $http.post url, {
