From 1b703f88230188375fb1ac0928c2a17bdc0bbf06 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Thu, 13 Sep 2018 08:02:41 -0600 Subject: [PATCH] makefile: add `CPUS` support to the `cs-base` target --- Makefile | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/Makefile b/Makefile index 9e3fba7cfc..7eaa589ddd 100644 --- a/Makefile +++ b/Makefile @@ -253,8 +253,16 @@ cs-in-place: $(MAKE) cs cs-base: + if [ "$(CPUS)" = "" ] ; \ + then $(MAKE) plain-cs-base ; \ + else $(MAKE) cpus-cs-base CPUS="$(CPUS)" ; fi + +plain-cs-base: $(MAKE) cs CS_SETUP_TARGET=nothing-after-base +cpus-cs-base: + $(MAKE) -j $(CPUS) plain-cs-base JOB_OPTIONS="-j $(CPUS)" + cs-as-is: $(MAKE) cs BASE_TARGET=plain-base CS_SETUP_TARGET=in-place-setup