diff options
| author | Thomas Schwinge <tschwinge@gnu.org> | 2008-11-17 10:27:11 +0000 |
|---|---|---|
| committer | Thomas Schwinge <tschwinge@gnu.org> | 2009-06-18 00:27:21 +0200 |
| commit | ea72e7ea1150306d9ee1c5ceb5fd4b750cd9f1c0 (patch) | |
| tree | 05fdc205cb956f8cd8d72404b3b1a024c7fc3917 /Makefile.am | |
| parent | 893feace349c7cb4ce7821b8e8f5ccc7031f8079 (diff) | |
| download | gnumach-ea72e7ea1150306d9ee1c5ceb5fd4b750cd9f1c0.tar.gz gnumach-ea72e7ea1150306d9ee1c5ceb5fd4b750cd9f1c0.tar.bz2 gnumach-ea72e7ea1150306d9ee1c5ceb5fd4b750cd9f1c0.zip | |
2008-11-17 Thomas Schwinge <tschwinge@gnu.org>
* Makefile.am (install_sh, INSTALL): Point to `build-aux/install-sh'.
Diffstat (limited to 'Makefile.am')
| -rw-r--r-- | Makefile.am | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/Makefile.am b/Makefile.am index c81621a5..d6fbb54f 100644 --- a/Makefile.am +++ b/Makefile.am @@ -78,6 +78,19 @@ MIGCOM = $(MIG) -n -cc cat - /dev/null CPP = @CPP@ -x c # +# Other Tools' Configuration. +# + +# Don't needlessly overwrite files that whose contents haven't changed. This +# helps for avoinding unneccessary recompilation cycles when keeping +# cross-compilation toolchains up-to-date. Thus, unconditionally use the +# `install-sh' that is supplied by GNU Automake 1.10.1, as the GNU Coreutils +# one doesn't provide this functionality yet (TODO: change that). TODO: +# `build-aux' is hardcoded. +install_sh = $(SHELL) $(abs_srcdir)/build-aux/install-sh -C +INSTALL = $(install_sh) + +# # The main kernel functionality. # |