Searched refs:svn_date (Results 1 – 1 of 1) sorted by relevance
153 svn_date=$svn_old_date155 svn_date=$svn_new_date163 "svn co ${valgrind_svn_repo} -r {$svn_date} valgrind-$logfile\164 && svn update -r {$svn_date} valgrind-$logfile/VEX" && \