diff options
Diffstat (limited to 'Makefile.inc')
| -rw-r--r-- | Makefile.inc | 20 |
1 files changed, 16 insertions, 4 deletions
diff --git a/Makefile.inc b/Makefile.inc index ec7854099b..19ba294000 100644 --- a/Makefile.inc +++ b/Makefile.inc @@ -369,11 +369,23 @@ gitconfig: git config remote.origin.push HEAD:refs/for/master (git config --global user.name >/dev/null && git config --global user.email >/dev/null) || (printf 'Please configure your name and email in git:\n\n git config --global user.name "Your Name Comes Here"\n git config --global user.email your.email@example.com\n'; exit 1) -crossgcc: clean-for-update - $(MAKE) -C util/crossgcc build-without-gdb +crossgcc: crossgcc-i386 crossgcc-arm -crosstools: clean-for-update - $(MAKE) -C util/crossgcc build +.PHONY: crossgcc-i386 crossgcc-arm +crossgcc-i386: clean-for-update + $(MAKE) -C util/crossgcc build-i386-without-gdb + +crossgcc-arm: clean-for-update + $(MAKE) -C util/crossgcc build-armv7a-without-gdb + +crosstools: crosstools-i386 + +.PHONY: crosstools-i386 crosstools-arm +crosstools-i386: clean-for-update + $(MAKE) -C util/crossgcc build-i386 + +crosstools-arm: clean-for-update + $(MAKE) -C util/crossgcc build-armv7a crossgcc-clean: clean-for-update $(MAKE) -C util/crossgcc clean |