database/mariadb
1
0
Fork 0
mirror of https://github.com/MariaDB/server.git synced 2025-07-30 16:24:05 +03:00
Code Activity

Merge mysql.com:/Users/kent/mysql/bk/mysql-4.1-new

Browse Source 
into mysql.com:/Users/kent/mysql/bk/mysql-5.0-new


scripts/make_win_src_distribution.sh:
  Auto merged
This commit is contained in:
unknown
2006-06-17 11:38:16 +02:00
parent 2aa2db7a87 d1e21c2c20
commit 7775e0a133
1 changed files with 6 additions and 11 deletions
Download Patch File Download Diff File Expand all files Collapse all files

17
scripts/make_win_src_distribution.sh
View File

@ -77,7 +77,7 @@ show_usage()
echo " --tmp Specify the temporary location" echo " --tmp Specify the temporary location"
echo " --suffix Suffix name for the package" echo " --suffix Suffix name for the package"
echo " --dirname Directory name to copy files (intermediate)" echo " --dirname Directory name to copy files (intermediate)"
echo " --silent Do not list verbosely files processed" echo " --silent Show no progress information"
echo " --tar Create tar.gz package" echo " --tar Create tar.gz package"
echo " --zip Create zip package" echo " --zip Create zip package"
echo " --help Show this help message" echo " --help Show this help message"
@ -143,10 +143,11 @@ unix_to_dos()
# Create a tmp dest directory to copy files # Create a tmp dest directory to copy files
# #
BASE=$TMP/my_win_dist$SUFFIX BASE=$TMP/my_win_dist$SUFFIX.$$
trap "rm -r -f $BASE; echo '*** interrupted ***'; exit 1" 1 2 3 13 15
if [ -d $BASE ] ; then if [ -d $BASE ] ; then
print_debug "Destination directory '$BASE' already exists, deleting it" echo "WARNING: Destination directory '$BASE' already exists, deleting it"
rm -r -f $BASE rm -r -f $BASE
fi fi
@ -462,21 +463,15 @@ set_tarzip_options()
if [ "$arg" = "tar" ]; then if [ "$arg" = "tar" ]; then
ZIPFILE1=gnutar ZIPFILE1=gnutar
ZIPFILE2=gtar ZIPFILE2=gtar
OPT=cvf OPT=cf
EXT=".tar" EXT=".tar"
NEED_COMPRESS=1 NEED_COMPRESS=1
if [ "$DEBUG" = "0" ] ; then
OPT=cf
fi
else else
ZIPFILE1=zip ZIPFILE1=zip
ZIPFILE2="" ZIPFILE2=""
OPT="-r" OPT="-r -q"
EXT=".zip" EXT=".zip"
NEED_COMPRESS=0 NEED_COMPRESS=0
if [ "$DEBUG" = "0" ] ; then
OPT="$OPT -q"
fi
fi fi
done done
} }