diff options
-rw-r--r-- | Makefile.inc | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/Makefile.inc b/Makefile.inc index 94d33d38fd..0053dfb93b 100644 --- a/Makefile.inc +++ b/Makefile.inc @@ -701,8 +701,7 @@ $(obj)/board_id: JENKINS_PAYLOAD?=none CPUS?=4 what-jenkins-does: - util/abuild/abuild -B -J $(if $(JENKINS_NOCCACHE),,-y) -c $(CPUS) -z -p $(JENKINS_PAYLOAD) -x - -mv abuild.xml abuild-chromeos.xml + util/abuild/abuild -B -J $(if $(JENKINS_NOCCACHE),,-y) -c $(CPUS) -z -p $(JENKINS_PAYLOAD) -x -X $(top)/abuild-chromeos.xml util/abuild/abuild -B -J $(if $(JENKINS_NOCCACHE),,-y) -c $(CPUS) -z -p $(JENKINS_PAYLOAD) (cd payloads/libpayload; unset COREBOOT_BUILD_DIR; $(MAKE) $(if $(JENKINS_NOCCACHE),,CONFIG_LP_CCACHE=y) V=$(V) Q=$(Q) junit.xml) $(MAKE) V=$(V) Q=$(Q) -C util/cbmem junit.xml |