fix #833

plumed · Sep 18, 2022 · 74244e5 · 74244e5
1 parent e32ddb9
commit 74244e5
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 0 deletions.
diff --git a/configure b/configure
@@ -2457,6 +2457,9 @@ $as_echo "$as_me: Resetting modules to default" >&6;}
        if test ! -f src/$modules_mod/module.type ; then
          as_fn_error $? "trying to remove module $modules_mod which does not exist" "$LINENO" 5
        fi
+       if grep -q always src/$modules_mod/module.type ; then
+         as_fn_error $? "trying to remove module $modules_mod which is always enabled" "$LINENO" 5
+       fi
        { $as_echo "$as_me:${as_lineno-$LINENO}: Disabling module ${modules_mod}" >&5
 $as_echo "$as_me: Disabling module ${modules_mod}" >&6;}
        rm -f src/$modules_mod.on

diff --git a/configure.ac b/configure.ac
@@ -189,6 +189,9 @@ AC_ARG_ENABLE([modules],
        if test ! -f src/$modules_mod/module.type ; then
          AC_MSG_ERROR([trying to remove module $modules_mod which does not exist])
        fi
+       if grep -q always src/$modules_mod/module.type ; then
+         AC_MSG_ERROR([trying to remove module $modules_mod which is always enabled])
+       fi
        AC_MSG_NOTICE([Disabling module ${modules_mod}])
        rm -f src/$modules_mod.on
        touch src/$modules_mod.off ;;