From 98c596c5468a549a64b6cfe9db68d75880fe0cc5 Mon Sep 17 00:00:00 2001 From: Jeremy Dubreil Date: Fri, 17 Aug 2018 14:24:04 -0700 Subject: [PATCH] [infer][biabduction] generate the Objective C and C++ models in single core mode Reviewed By: mbouaziz Differential Revision: D9370381 fbshipit-source-id: 5da2d2e76 --- infer/models/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/infer/models/Makefile b/infer/models/Makefile index df011e1c8..b22417312 100644 --- a/infer/models/Makefile +++ b/infer/models/Makefile @@ -13,7 +13,7 @@ OBJC_MODELS_DIR = objc/src OBJCPP_MODELS_DIR = objcpp/src MODELS_INFER_OUT = infer-out -MODELS_INFER_OPTIONS = --biabduction-only --results-dir $(MODELS_INFER_OUT) --models-mode +MODELS_INFER_OPTIONS = --jobs 1 --biabduction-only --results-dir $(MODELS_INFER_OUT) --models-mode all: