diff options
| author | joerg@trift2. <> | 2007-04-07 20:46:43 +0200 |
|---|---|---|
| committer | joerg@trift2. <> | 2007-04-07 20:46:43 +0200 |
| commit | 22f066e3549c45d743fce36419ae80785c830068 (patch) | |
| tree | 87c9c6c81a3ab0d754a8e5554b2510906454adc6 /scripts | |
| parent | 35223ca35cd8a4d8e7e1fc3e9a586ba85afc5e95 (diff) | |
| parent | c5fb0344647bca1d13a060feab3bb7177d8fb540 (diff) | |
| download | mariadb-git-22f066e3549c45d743fce36419ae80785c830068.tar.gz | |
Merge trift2.:/MySQL/M50/mysql-5.0
into trift2.:/MySQL/M50/push-5.0
Diffstat (limited to 'scripts')
| -rw-r--r-- | scripts/make_binary_distribution.sh | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/scripts/make_binary_distribution.sh b/scripts/make_binary_distribution.sh index 7d7918975f2..e8bf39bd016 100644 --- a/scripts/make_binary_distribution.sh +++ b/scripts/make_binary_distribution.sh @@ -115,7 +115,12 @@ if [ $BASE_SYSTEM != "netware" ] ; then chmod o-rwx $BASE/data $BASE/data/* fi -# Copy files if they exists, warn for those that don't +# Copy files if they exists, warn for those that don't. +# Note that when listing files to copy, we might list the file name +# twice, once in the directory location where it is build, and a +# second time in the ".libs" location. In the case the firs one +# is a wrapper script, the second one will overwrite it with the +# binary file. copyfileto() { destdir=$1 @@ -165,6 +170,7 @@ if [ $BASE_SYSTEM = "netware" ] ; then # For all other platforms: else BIN_FILES="$BIN_FILES \ + server-tools/instance-manager/.libs/mysqlmanager \ client/mysqltestmanagerc \ client/mysqltestmanager-pwgen tools/mysqltestmanager \ client/.libs/mysql client/.libs/mysqlshow client/.libs/mysqladmin \ |