diff options
author | Thomas Schwinge <schwinge@nic-nac-project.de> | 2008-11-17 14:43:38 -0500 |
---|---|---|
committer | Thomas Schwinge <schwinge@nic-nac-project.de> | 2008-11-17 14:43:38 -0500 |
commit | 941ceaa4b28df97c06bad7e1968c48161f679aed (patch) | |
tree | 8c589a70b147cca5b25bfafd31b2b977549d4ed1 | |
parent | e78286c69eaf976d780495ee064b22e295f480e3 (diff) |
Avoid most of the unneeded recompilations.
-rwxr-xr-x | cross-gnu-env | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/cross-gnu-env b/cross-gnu-env index 24b9c02f7..9012da14e 100755 --- a/cross-gnu-env +++ b/cross-gnu-env @@ -93,3 +93,7 @@ if gmake --version 2> /dev/null | grep -q GNU then prj_x2 prj_set MAKE gmake else prj_x2 prj_set MAKE make fi + +# See GNU Mach's `Makefile.am' for why. This is for the packages that don't +# handle it themselves. +prj_x2 prj_set INSTALL "$GNUMACH_SRC"/build-aux/install-sh\ -C |