Change get_svn_revision to also work with older subversion releases

that do not allow specifying a revision with svn info.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@12012

diff --git a/nightly/bin/nightly b/nightly/bin/nightly
index fffe79db3f9bcc25307295c10b9d02efb06844b8..7c956a6019ee968946c1023d2fcd701d2593f2a8 100755 (executable)
--- a/nightly/bin/nightly
+++ b/nightly/bin/nightly
@@ -11,7 +11,11 @@
 
 # Returns the revision number of the source files with date $1.
 get_svn_revision() {
-  svn info -r "{$1}" "${valgrind_svn_repo}" | sed -n 's/^Revision: //p'
+  (cd $DIR; rm -rf infodir;
+   svn co -r "{$1}" "${valgrind_svn_repo}/nightly" infodir > /dev/null;
+   revno=`svn info infodir | sed -n 's/^Revision: //p'`;
+   rm -rf infodir;
+   echo $revno)
 }
 
 runcmd () {