diff options
Diffstat (limited to 'TOOLS')
-rwxr-xr-x | TOOLS/checktree.sh | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/TOOLS/checktree.sh b/TOOLS/checktree.sh index 6eb0d65ac5..0ab29ccd3b 100755 --- a/TOOLS/checktree.sh +++ b/TOOLS/checktree.sh @@ -168,6 +168,13 @@ else COLE="" fi +# Test presence of svn info + +if [ "$_svn" = "yes" -a ! -d .svn ] ; then + echo "No svn info available. Please use -nosvn." >&2 + exit 1 +fi + # Generate filelist once so -svn isn't _that_ much slower than -nosvn anymore filelist=`all_filenames` |