diff --git a/bin/dunecontrol b/bin/dunecontrol index 850ae673b5ac9742974a4e1b8f5c45a74f7b6eec..d0c2f61748684714c833b7e25791afe672a7e368 100755 --- a/bin/dunecontrol +++ b/bin/dunecontrol @@ -125,16 +125,16 @@ run_default_configure () { PARAMS="$CMD_PARAMS" if test -x configure; then if test "x$HAVE_dune_common" == "xyes"; then - PARAMS="$PARAMS \"--with-dunecommon=$PATH_dune_common\"" + PARAMS="$PARAMS \"--with-dune-common=$PATH_dune_common\"" fi if test "x$HAVE_dune_grid" == "xyes"; then - PARAMS="$PARAMS \"--with-dunegrid=$PATH_dune_grid\"" + PARAMS="$PARAMS \"--with-dune-grid=$PATH_dune_grid\"" fi if test "x$HAVE_dune_istl" == "xyes"; then - PARAMS="$PARAMS \"--with-duneistl=$PATH_dune_istl\"" + PARAMS="$PARAMS \"--with-dune-istl=$PATH_dune_istl\"" fi if test "x$HAVE_dune_disc" == "xyes"; then - PARAMS="$PARAMS \"--with-dunedisc=$PATH_dune_disc\"" + PARAMS="$PARAMS \"--with-dune-disc=$PATH_dune_disc\"" fi echo ./configure "$PARAMS" eval ./configure "$PARAMS" || exit 1