diff options
| author | Miles Bader <miles@gnu.org> | 1996-07-31 19:24:49 +0000 |
|---|---|---|
| committer | Miles Bader <miles@gnu.org> | 1996-07-31 19:24:49 +0000 |
| commit | 09bac4a66f59414065ab56a1dd6aa12af3c1b758 (patch) | |
| tree | 0d3a1af67aba051defa49c2d1eb66168d3d7b1bd | |
| parent | b245bd1420e8f75dfa3e89c566c7f36023730b62 (diff) | |
(install-tools):
Copy from the right place.
Make the installed install-stripped executable.
| -rw-r--r-- | release/Makefile | 5 |
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 |