summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMiles Bader <miles@gnu.org>1996-07-31 19:24:49 +0000
committerMiles Bader <miles@gnu.org>1996-07-31 19:24:49 +0000
commit09bac4a66f59414065ab56a1dd6aa12af3c1b758 (patch)
tree0d3a1af67aba051defa49c2d1eb66168d3d7b1bd
parentb245bd1420e8f75dfa3e89c566c7f36023730b62 (diff)
(install-tools):
Copy from the right place. Make the installed install-stripped executable.
-rw-r--r--release/Makefile5
1 files changed, 3 insertions, 2 deletions
diff --git a/release/Makefile b/release/Makefile
index 1e9630f3..e450f4c8 100644
--- a/release/Makefile
+++ b/release/Makefile
@@ -53,6 +53,7 @@ endif
ifneq ($(tool-root),)
install-tools:
- cp install-stripped $(tool-root)/
- cp tool-Makefile $(tool-root)/Makefile
+ cp $(srcdir)/install-stripped $(tool-root)/
+ chmod +x $(tool-root)/install-stripped
+ cp $(srcdir)/tool-Makefile $(tool-root)/Makefile
endif