# HG changeset patch # User Mike Miller # Date 1459380740 25200 # Node ID 0db86306c404ac33208714613193cc469bbef62c # Parent a14a5640d12b12fc8d5013bcb314f9a22994db5c Strip compiled oct-files by default * binary-dist-rules.mk: Include '*.oct' in the list of file patterns to strip. diff -r a14a5640d12b -r 0db86306c404 binary-dist-rules.mk --- a/binary-dist-rules.mk Thu Mar 31 07:50:33 2016 -0400 +++ b/binary-dist-rules.mk Wed Mar 30 16:32:20 2016 -0700 @@ -113,7 +113,7 @@ ifeq ($(MXE_WINDOWS_BUILD),yes) define strip-dist-files echo "stripping files..." - for f in `find $(OCTAVE_DIST_DIR) -name '*.dll' -o -name '*.exe'`; do \ + for f in `find $(OCTAVE_DIST_DIR) -name '*.dll' -o -name '*.exe' -o -name '*.oct'`; do \ $(MXE_STRIP) $$f; \ done endef