-# libdw seems to be too ancient on debian wheezy for model-checking.
-# We need to update the slave before activating model-checking here.
-
-make
-ctest -D ExperimentalStart || true
-ctest -D ExperimentalConfigure || true
-ctest -D ExperimentalBuild || true
-ctest -D ExperimentalTest || true