diff options
| -rw-r--r-- | Makefile.inc | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Makefile.inc b/Makefile.inc index 72a3b55017..8191a04692 100644 --- a/Makefile.inc +++ b/Makefile.inc @@ -236,6 +236,9 @@ gitconfig: (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 + +crosstools: clean-for-update $(MAKE) -C util/crossgcc build crossgcc-clean: clean-for-update |