comparison mk-dist @ 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 d35eda9fb1f3
children 4b450c162e39
comparison
equal deleted inserted replaced
2986:d198aea15b35 2987:eb1643bd900c
3 set -e 3 set -e
4 4
5 jobs=9 5 jobs=9
6 6
7 OCTAVE_TARGET=octave 7 OCTAVE_TARGET=octave
8
9 strip=yes
8 while [ $# -gt 0 ]; do 10 while [ $# -gt 0 ]; do
9 case "$1" in 11 case "$1" in
10 --jobs) 12 --jobs)
11 shift 13 shift
12 if [ $# -gt 0 ]; then 14 if [ $# -gt 0 ]; then
17 exit 1 19 exit 1
18 fi 20 fi
19 ;; 21 ;;
20 --stable) 22 --stable)
21 OCTAVE_TARGET=stable-octave 23 OCTAVE_TARGET=stable-octave
24 shift
25 ;;
26 --no-strip)
27 strip=no
22 shift 28 shift
23 ;; 29 ;;
24 *) 30 *)
25 echo "mk-dist: unrecognized option: $1" 1>&2 31 echo "mk-dist: unrecognized option: $1" 1>&2
26 exit 1 32 exit 1
84 cp $TOPDIR/build_packages.m $OCTAVE_DIST_DIR/src 90 cp $TOPDIR/build_packages.m $OCTAVE_DIST_DIR/src
85 91
86 echo "making all files writable by user..." 92 echo "making all files writable by user..."
87 chmod -R u+w $OCTAVE_DIST_DIR 93 chmod -R u+w $OCTAVE_DIST_DIR
88 94
89 echo "stripping files..." 95 if [ $strip = "yes" ]; then
90 cd $OCTAVE_DIST_DIR 96 echo "stripping files..."
91 for f in $(find . -name '*.dll' -o -name '*.exe'); do 97 cd $OCTAVE_DIST_DIR
92 echo " $f" 98 for f in $(find . -name '*.dll' -o -name '*.exe'); do
93 $STRIP $f 99 echo " $f"
94 done 100 $STRIP $f
101 done
102 fi
95 103
96 #echo "creating tar file..." 104 #echo "creating tar file..."
97 #cd $TOPDIR/dist 105 #cd $TOPDIR/dist
98 #tar -c -j -f $OCTAVE_TARGET-$DATE.tar.bz2 $OCTAVE_TARGET-$DATE 106 #tar -c -j -f $OCTAVE_TARGET-$DATE.tar.bz2 $OCTAVE_TARGET-$DATE
99 107