changeset 2987:eb1643bd900c

mk-dist: new argument, --no-strip
author John W. Eaton <jwe@octave.org>
date Thu, 16 May 2013 13:32:37 -0400
parents d198aea15b35
children aca8511e7751
files mk-dist
diffstat 1 files changed, 14 insertions(+), 6 deletions(-) [+]
line wrap: on
line diff
--- a/mk-dist	Tue May 14 19:26:43 2013 -0400
+++ b/mk-dist	Thu May 16 13:32:37 2013 -0400
@@ -5,6 +5,8 @@
 jobs=9
 
 OCTAVE_TARGET=octave
+
+strip=yes
 while [ $# -gt 0 ]; do
   case "$1" in
     --jobs)
@@ -21,6 +23,10 @@
       OCTAVE_TARGET=stable-octave
       shift
     ;;
+    --no-strip)
+      strip=no
+      shift
+    ;;
     *)
       echo "mk-dist: unrecognized option: $1" 1>&2
       exit 1
@@ -86,12 +92,14 @@
 echo "making all files writable by user..."
 chmod -R u+w $OCTAVE_DIST_DIR
 
-echo "stripping files..."
-cd $OCTAVE_DIST_DIR
-for f in $(find . -name '*.dll' -o -name '*.exe'); do
-  echo "  $f"
-  $STRIP $f
-done
+if [ $strip = "yes" ]; then
+  echo "stripping files..."
+  cd $OCTAVE_DIST_DIR
+  for f in $(find . -name '*.dll' -o -name '*.exe'); do
+    echo "  $f"
+    $STRIP $f
+  done
+fi
 
 #echo "creating tar file..."
 #cd $TOPDIR/dist