diff options
Diffstat (limited to 'make-dist')
-rwxr-xr-x | make-dist | 9 |
1 files changed, 3 insertions, 6 deletions
diff --git a/make-dist b/make-dist index 96e0a730482..7e1f0dfb96c 100755 --- a/make-dist +++ b/make-dist @@ -538,12 +538,9 @@ done if [ "$with_tests" = "yes" ]; then echo "Making links to 'test' and its subdirectories" - for f in `find test -type f`; do - case $f in - test/automated/*.log) continue ;; - test/automated/flymake/warnpred/a.out) continue ;; - test/automated/Makefile) continue ;; - esac + for f in `find test -type f ! -name '*.log' ! -name a.out \ + ! -path test/Makefile + `; do ln $f $tempdir/$f done fi |