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 a5019735-40e9-0310-863c-91ae7b9d1cf9

1 files changed, 5 insertions, 1 deletions

diff --git a/nightly/bin/nightly b/nightly/bin/nightly
index fffe79db..7c956a60 100755
--- 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 () {