[log] disable --keep-going in strict mode

Summary: This will run infer with `--no-keep-going` by default in our tests.

Reviewed By: sblackshear

Differential Revision: D5814237

fbshipit-source-id: c1e1a4e

Makefile

@@ -617,10 +617,6 @@ devsetup: Makefile.autoconf
 	  echo '$(TERM_INFO)  eval $$(opam config env)$(TERM_RESET)' >&2; \
 	fi
 
-# print any variable for Makefile debugging
-print-%:
-	$(QUIET)echo '$*=$($*)'
-
 # print list of targets
 .PHONY: show-targets
 show-targets:

Makefile.config

@@ -190,3 +190,7 @@ define silent_on_success
   fi
 endef
 endif
+
+# print any variable for Makefile debugging
+print-%:
+	$(QUIET)echo '$*=$($*)'

infer/src/Makefile

@@ -295,7 +295,3 @@ clean:
 .PHONY: fmt
 fmt:
 	@$(MAKE) -C $(ROOT_DIR) fmt
-
-# print any variable for Makefile debugging
-print-%:
-	$(QUIET)echo '$*=$($*)'

infer/src/base/CommandLineOption.mli

@@ -52,6 +52,8 @@ val is_originator : bool
 
 val init_work_dir : string
 
+val strict_mode : bool
+
 (** The [mk_*] functions declare command line options, while [parse] parses then according to the
     declared options.
 

infer/src/base/Config.ml

@@ -895,7 +895,7 @@ and ( bo_debug
   and keep_going =
     CLOpt.mk_bool ~deprecated_no:["-no-failures-allowed"] ~long:"keep-going"
       ~in_help:CLOpt.([(Analyze, manual_generic)])
-      ~default:true "Keep going when the analysis encounters a failure"
+      ~default:(not CLOpt.strict_mode) "Keep going when the analysis encounters a failure"
   and reports_include_ml_loc =
     CLOpt.mk_bool ~deprecated:["with_infer_src_loc"] ~long:"reports-include-ml-loc"
       "Include the location in the Infer source code from where reports are generated"