benchmarks: also compile tool

git-svn-id: https://svn.dealii.org/trunk@30718 0785d39b-7218-0410-832d-ea1e28bc413d

diff --git a/tests/benchmarks/setup.sh b/tests/benchmarks/setup.sh
index 14e112b222a735d5758e19cf8f54ea9e1ac69b60..a8224efe55495ffab2723ae63e4851017812e87e 100755 (executable)
--- a/tests/benchmarks/setup.sh
+++ b/tests/benchmarks/setup.sh
@@ -13,6 +13,10 @@ cmake -DCMAKE_BUILD_TYPE=Release -DDEAL_II_WITH_THREADS=OFF -DCMAKE_INSTALL_PREF
 make install -j 10
 cd ..
 
+cd gettimes
+make
+cd ..
+
 source testlist.sh
 for test in $TESTS ; do
       cd $test