diff options
| author | msvensson@pilot.blaudden <> | 2007-04-20 20:46:55 +0200 |
|---|---|---|
| committer | msvensson@pilot.blaudden <> | 2007-04-20 20:46:55 +0200 |
| commit | b0d923d73bdb4ec8ceb35d96190fc03a1b1d177f (patch) | |
| tree | ea45df9f20c74e4532a568c2b1b0fb4ba7a2c6f8 /scripts | |
| parent | bd31322626a2bfd3c007f08af4292d103f9c63d4 (diff) | |
| download | mariadb-git-b0d923d73bdb4ec8ceb35d96190fc03a1b1d177f.tar.gz | |
Don't copy subidrs of scripts/
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/make_win_bin_dist | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/make_win_bin_dist b/scripts/make_win_bin_dist index 2e10e530ca6..42fade7cbd2 100755 --- a/scripts/make_win_bin_dist +++ b/scripts/make_win_bin_dist @@ -352,7 +352,7 @@ mkdir -p $DESTDIR/scripts for i in `cd scripts && ls`; do \ if echo $i | grep -q '\.sh'; then \ cp scripts/$i $DESTDIR/scripts/`echo $i | sed -e 's/\.sh$//'`; \ - elif [ $i = Makefile.am -o $i = Makefile.in -o -e scripts/$i.sh ] ; then \ + elif [ -d scripts/$i -o $i = Makefile.am -o $i = Makefile.in -o -e scripts/$i.sh ] ; then \ : ; \ else \ cp scripts/$i $DESTDIR/scripts/$i; \ |