# HG changeset patch
# User Markus Mützel <markus.muetzel@gmx.de>
# Date 1546179324 -3600
# Node ID 0958cf066f1a387bcd8867e2fee711b878e1a072
# Parent  dc299f683995f171cccdf56fa98af983b502749a
Don't strip files starting with a shebang (bug #55281).

* binary-dist-rules.mk: Only strip files that don't start with "#!".

diff -r dc299f683995 -r 0958cf066f1a binary-dist-rules.mk
--- 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