diff options
author | unknown <kaa@polly.(none)> | 2007-11-22 17:17:32 +0300 |
---|---|---|
committer | unknown <kaa@polly.(none)> | 2007-11-22 17:17:32 +0300 |
commit | 109015fc6d53691c6d118f1643652375b9b73ed4 (patch) | |
tree | fd61a0afe593e8532800199d7146e7958ca6abea /scripts/make_win_bin_dist | |
parent | 0515b1402032b82d99d7bf1a0a90241e69d645a5 (diff) | |
parent | ae5ec36bcb2f20fc63c7b069330d3b826a68f9da (diff) | |
download | mariadb-git-109015fc6d53691c6d118f1643652375b9b73ed4.tar.gz |
Merge polly.(none):/home/kaa/src/opt/bug32221/my50-bug31445
into polly.(none):/home/kaa/src/opt/bug32221/my51-bug31445
scripts/make_win_bin_dist:
Manual merge.
Diffstat (limited to 'scripts/make_win_bin_dist')
-rwxr-xr-x | scripts/make_win_bin_dist | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/scripts/make_win_bin_dist b/scripts/make_win_bin_dist index 957a5a6768d..a5b73ecc6c3 100755 --- a/scripts/make_win_bin_dist +++ b/scripts/make_win_bin_dist @@ -152,7 +152,6 @@ if [ x"$TARGET" != x"release" ] ; then cp server-tools/instance-manager/$TARGET/*.pdb $DESTDIR/bin/ fi cp tests/$TARGET/*.exe $DESTDIR/bin/ -cp libmysql/$TARGET/*.exe $DESTDIR/bin/ cp libmysql/$TARGET/libmysql.dll $DESTDIR/bin/ # FIXME really needed?! |