diff options
| author | unknown <msvensson@pilot.blaudden> | 2007-04-20 20:46:55 +0200 |
|---|---|---|
| committer | unknown <msvensson@pilot.blaudden> | 2007-04-20 20:46:55 +0200 |
| commit | f6409de79ab93af445166dfb46670f077a257094 (patch) | |
| tree | ea45df9f20c74e4532a568c2b1b0fb4ba7a2c6f8 | |
| parent | d8262276e1098611094df951591b037c46e3bd53 (diff) | |
| download | mariadb-git-f6409de79ab93af445166dfb46670f077a257094.tar.gz | |
Don't copy subidrs of 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; \ |