diff options
Diffstat (limited to 'Makefile.inc')
| -rw-r--r-- | Makefile.inc | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Makefile.inc b/Makefile.inc index 0c6aafa4dd..69f6786764 100644 --- a/Makefile.inc +++ b/Makefile.inc @@ -630,6 +630,6 @@ $(obj)/coreboot.pre: $(objcbfs)/romstage.elf $(obj)/coreboot.pre1 $(CBFSTOOL) JENKINS_PAYLOAD=none what-jenkins-does: - util/abuild/abuild -B -J -y -c 4 -z -p $(JENKINS_PAYLOAD) - (cd payloads/libpayload; $(MAKE) CONFIG_CCACHE=y V=$(V) Q=$(Q) junit.xml) + util/abuild/abuild -B -J $(if $(JENKINS_NOCCACHE),,-y) -c 4 -z -p $(JENKINS_PAYLOAD) + (cd payloads/libpayload; $(MAKE) $(if $(JENKINS_NOCCACHE),,CONFIG_CCACHE=y) V=$(V) Q=$(Q) junit.xml) $(MAKE) V=$(V) Q=$(Q) -C util/cbmem junit.xml |