diff options
| -rw-r--r-- | util/crossgcc/Makefile.inc | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/util/crossgcc/Makefile.inc b/util/crossgcc/Makefile.inc index dfa1ec829e..5be4c10f36 100644 --- a/util/crossgcc/Makefile.inc +++ b/util/crossgcc/Makefile.inc @@ -71,3 +71,5 @@ endif # ifeq ($(COMPILER_OUT_OF_DATE),1) jenkins-build-toolchain: $(MAKE) crosstools clang \ BUILDGCC_OPTIONS='-y --nocolor' + rm -f .xcompile + $(MAKE) what-jenkins-does |