|
From: Ivo R. <ir...@so...> - 2017-08-15 20:10:33
|
https://sourceware.org/git/gitweb.cgi?p=valgrind.git;h=b07650fbc022f2a6d98333220e257247c67db4fb commit b07650fbc022f2a6d98333220e257247c67db4fb Author: Ivo Raisr <iv...@iv...> Date: Tue Aug 15 22:05:02 2017 +0200 Fix bin/nightly. Reported and patch suggested by: Rich Coe <rc...@wi...> Diff: --- nightly/bin/nightly | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/nightly/bin/nightly b/nightly/bin/nightly index 75794f8..92fa076 100755 --- a/nightly/bin/nightly +++ b/nightly/bin/nightly @@ -88,11 +88,12 @@ fi #---------------------------------------------------------------------------- # Clone the GIT repository first. We will query it and copy it afterwards. -git clone --quiet git://sourceware.org/git/valgrind.git/ valgrind-repo +git clone --quiet $valgrind_git_repo valgrind-repo cd valgrind-repo commits=$( git rev-list --after="24 hours ago" master ) if [ -z "$commits" ]; then + cd .. echo "There are no new commits since yesterday -- skipping nightly build." > unchanged.log exit 0 fi @@ -117,8 +118,7 @@ for logfile in old new ; do # Check out, build, run tests runcmd $logfile \ "Checking out Valgrind source tree" \ - "cp -r --preserve=links valgrind-repo valgrind-$logfile\ - && git checkout ${git_commit}" && \ + "cp -r --preserve=links valgrind-repo valgrind-$logfile && cd valgrind-$logfile && git checkout ${git_commit}" && \ \ runcmd $logfile \ "Configuring valgrind " \ |