There is no need to checkout and build VEX separately now.

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

diff --git a/nightly/bin/nightly b/nightly/bin/nightly
index 1dc661928dee2b9261dfd5dea5e9ff1f70e6fef5..8bdd26ce2fd289f2bb358a24a8aa02e44eee21d4 100755 (executable)
--- a/nightly/bin/nightly
+++ b/nightly/bin/nightly
@@ -83,21 +83,13 @@ for logfile in old new ; do
    # Get dates for the old and new versions
 
    # 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                " \