diff options
Diffstat (limited to 'Makefile.inc')
| -rw-r--r-- | Makefile.inc | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/Makefile.inc b/Makefile.inc index ea27dd11fd..0ef93777a8 100644 --- a/Makefile.inc +++ b/Makefile.inc @@ -230,3 +230,10 @@ lint: done; \ test $$FAILED -eq 0 || { echo "ERROR: $$FAILED test(s) failed." && exit 1; }; \ rm -f $$LINTLOG + +crossgcc: clean-for-update + $(MAKE) -C util/crossgcc build + +crossgcc-clean: clean-for-update + $(MAKE) -C util/crossgcc clean + |