diff options
| -rwxr-xr-x | nightly/bin/nightly | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/nightly/bin/nightly b/nightly/bin/nightly index d47525a1..9b6a0465 100755 --- a/nightly/bin/nightly +++ b/nightly/bin/nightly @@ -169,7 +169,7 @@ fi # single file. MAX_LINES=100 rm -f diffs -diff_files=`find . -name '*.diff' | sort` +diff_files=`find . -name '*.diff*' | sort` if [ z"$diff_files" = z ] ; then echo "Congratulations, all tests passed!" >> diffs else |