diff options
| -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 |