# HG changeset patch # User John W. Eaton # Date 1357927028 18000 # Node ID f0fe5698ee6700929496127701d95f6b3855f370 # Parent 9ee646095047ae101da94ad830883496d077d729 also strip exe files diff -r 9ee646095047 -r f0fe5698ee67 mk-dist --- a/mk-dist Thu Jan 10 17:42:30 2013 -0500 +++ b/mk-dist Fri Jan 11 12:57:08 2013 -0500 @@ -56,11 +56,12 @@ echo "stripping files..." cd $TOPDIR/dist/octave -for f in $(find . -name '*.dll'); do +for f in $(find . -name '*.dll' -o -name '*.exe'); do echo " $f" $STRIP $f done echo "creating tar file..." cd $TOPDIR/dist -tar -c -j -f octave.tar.bz2 octave +#tar -c -j -f octave.tar.bz2 octave +zip -q -9 -r octave.zip octave