diff options
| -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 fca08eb3..0e430885 100755 --- a/nightly/bin/nightly +++ b/nightly/bin/nightly @@ -91,7 +91,7 @@ for logfile in old new ; do # Check out, build, run tests runcmd $logfile \ "Checking out valgrind source tree" \ - "svn co svn://svn.valgrind.org/valgrind/trunk -r {$svn_date} valgrind && ( cd valgrind && { svn cat svn://svn.valgrind.org/valgrind/branches/CROSS_COMPILATION/vex-cross-compilation.patch | patch -p0 -s; } )" && \ + "svn co svn://svn.valgrind.org/valgrind/trunk -r {$svn_date} valgrind" && \ \ runcmd $logfile \ "Configuring valgrind " \ |