diff options
| author | tom <tom@a5019735-40e9-0310-863c-91ae7b9d1cf9> | 2005-07-27 07:37:41 +0000 |
|---|---|---|
| committer | tom <tom@a5019735-40e9-0310-863c-91ae7b9d1cf9> | 2005-07-27 07:37:41 +0000 |
| commit | bd243bce6e647784524b29a3d68b44b959d8dd5f (patch) | |
| tree | a4a8f22402ec039c514e2f9f87c3dfc11663368a /nightly | |
| parent | ab568f60a6121c69e1017f3342b8ed782ae55f6b (diff) | |
There is no need to checkout and build VEX separately now.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@4278 a5019735-40e9-0310-863c-91ae7b9d1cf9
Diffstat (limited to 'nightly')
| -rwxr-xr-x | nightly/bin/nightly | 10 |
1 files changed, 1 insertions, 9 deletions
diff --git a/nightly/bin/nightly b/nightly/bin/nightly index 1dc66192..8bdd26ce 100755 --- a/nightly/bin/nightly +++ b/nightly/bin/nightly @@ -84,20 +84,12 @@ for logfile in old new ; do # Check out, build, run tests runcmd $logfile \ - "Checking out vex source tree " \ - "svn co svn://svn.valgrind.org/vex/trunk -r {$svn_date} vex" && \ - \ - runcmd $logfile \ - "Building vex " \ - "cd vex && pwd && make clean version all" && \ - \ - runcmd $logfile \ "Checking out valgrind source tree" \ "svn co svn://svn.valgrind.org/valgrind/trunk -r {$svn_date} valgrind" && \ \ runcmd $logfile \ "Configuring valgrind " \ - "cd valgrind && ./autogen.sh && ./configure --prefix=$ABT_TOP/Inst --with-vex=$ABT_TOP/vex" && \ + "cd valgrind && ./autogen.sh && ./configure --prefix=$ABT_TOP/Inst" && \ \ runcmd $logfile \ "Building valgrind " \ |