From d946be0112e6a618faa1930ebde1b0d87cb399ee Mon Sep 17 00:00:00 2001 From: heister Date: Mon, 17 Sep 2012 20:37:50 +0000 Subject: [PATCH] update script git-svn-id: https://svn.dealii.org/trunk@26445 0785d39b-7218-0410-832d-ea1e28bc413d --- tests/benchmarks/bench.sh | 5 +++++ 1 file changed, 5 insertions(+) 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" -- 2.39.5