diff options
| author | unknown <msvensson@pilot.blaudden> | 2007-04-23 18:16:57 +0200 |
|---|---|---|
| committer | unknown <msvensson@pilot.blaudden> | 2007-04-23 18:16:57 +0200 |
| commit | 83689eb08d0ee2b62e754fca1febbfc5604abbd4 (patch) | |
| tree | 6b16172ba13be0d4e80972199b824bd7d1b22dc5 /scripts | |
| parent | 20b22b40cfa56907e865afb09cd28c8f523a0712 (diff) | |
| download | mariadb-git-83689eb08d0ee2b62e754fca1febbfc5604abbd4.tar.gz | |
Don't copy any subdirs in 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 5d4c7ab917d..87d35a0850b 100755 --- a/scripts/make_win_bin_dist +++ b/scripts/make_win_bin_dist @@ -345,7 +345,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; \ |