From: heister Date: Mon, 17 Sep 2012 20:37:50 +0000 (+0000) Subject: update script X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=d946be0112e6a618faa1930ebde1b0d87cb399ee;p=dealii-svn.git update script git-svn-id: https://svn.dealii.org/trunk@26445 0785d39b-7218-0410-832d-ea1e28bc413d --- diff --git a/tests/benchmarks/bench.sh b/tests/benchmarks/bench.sh index 5ea17f988d..e66e112364 100644 --- a/tests/benchmarks/bench.sh +++ b/tests/benchmarks/bench.sh @@ -16,6 +16,11 @@ while [ $PREVREVISION -lt $HEADREVISION ] ; do pause cd deal.II svn up deal.II -r$NEXTREVISION + if test -z "`svn diff -r$PREVREVISION:$NEXTREVISION . tests`" ; then + echo "Skipping revision $NEXTREVISION" ; + continue ; + fi + echo "configure" ./configure --disable-threads --with-petsc=no >/dev/null echo "compiling"