diff options
| author | bart <bart@a5019735-40e9-0310-863c-91ae7b9d1cf9> | 2009-01-12 11:06:05 +0000 |
|---|---|---|
| committer | bart <bart@a5019735-40e9-0310-863c-91ae7b9d1cf9> | 2009-01-12 11:06:05 +0000 |
| commit | 3040125cd7642cd0470b4353681c6628af6e5df8 (patch) | |
| tree | bea4560222e1064e9d35e99945fbc7494ef4cbba /nightly | |
| parent | 9e46dbe33f20bef36ede2c4dcbe5a11460d1871b (diff) | |
Made sure that all diff files are processed.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@8939 a5019735-40e9-0310-863c-91ae7b9d1cf9
Diffstat (limited to 'nightly')
| -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 |