changeset 4913:0958cf066f1a

Don't strip files starting with a shebang (bug #55281). * binary-dist-rules.mk: Only strip files that don't start with "#!".
author Markus Mützel <markus.muetzel@gmx.de>
date Sun, 30 Dec 2018 15:15:24 +0100
parents dc299f683995
children 88cdb3e708a2
files binary-dist-rules.mk
diffstat 1 files changed, 3 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/binary-dist-rules.mk	Sat Dec 22 10:01:16 2018 +0100
+++ b/binary-dist-rules.mk	Sun Dec 30 15:15:24 2018 +0100
@@ -171,7 +171,9 @@
     define strip-dist-files
       echo "stripping files..."
       for f in `find $(OCTAVE_DIST_DIR) -name '*.dll' -o -name '*.exe' -o -name '*.oct' | $(GREP) -v "notepad++" `; do \
-	$(MXE_STRIP) $$f; \
+        if [ "$$(head -n1 $$f | cut -c1-2)" != "#!" ]; then \
+          $(MXE_STRIP) $$f; \
+        fi; \
       done
     endef
   else