dunecontrol uses the new --with-* syntax

[[Imported from SVN: r4615]]

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