diff --git a/bin/dunecontrol b/bin/dunecontrol index cf894c5552971ad02a50e5fdb478d8574d449643..807f4b1a35264be37674b0fe429847d5b98d2c09 100755 --- a/bin/dunecontrol +++ b/bin/dunecontrol @@ -536,7 +536,7 @@ run_default_configure () { cd "$BUILDDIR" echo `pwd` echo "cmake -DBUILD_SHARED_LIBS:BOOL=OFF -DCMAKE_MODULE_PATH=\"$CMAKE_MODULE_PATH\" $CMAKE_PARAMS $CMAKE_FLAGS $SRCDIR" - eval cmake "-DBUILD_SHARED_LIBS:BOOL=OFF -DCMAKE_MODULE_PATH=\"$CMAKE_MODULE_PATH\" $CMAKE_PARAMS $CMAKE_FLAGS $SRCDIR" + eval cmake "-DBUILD_SHARED_LIBS:BOOL=OFF -DCMAKE_MODULE_PATH=\"$CMAKE_MODULE_PATH\" $CMAKE_PARAMS $CMAKE_FLAGS $SRCDIR" || exit 1 else echo ./configure "$PARAMS" # create build directory of requested