diff --git a/patches/patch.sh b/patches/patch.sh index e7a2cb0ea454b6c81b3f86303fb4de70c21d2cc3..2a66e83bd6183be66a0d2219a0596db977eeda92 100755 --- a/patches/patch.sh +++ b/patches/patch.sh @@ -17,7 +17,7 @@ Actions (choose only one): Options: -e ENGINE, --engine ENGINE set MD engine to ENGINE (default: choose interactively) - -m MODE, --mode MODE + -m MODE, --mode MODE (default: static) set link mode to MODE, which can be either static, shared or runtime --static same as --mode static @@ -25,8 +25,6 @@ Options: same as --mode shared --runtime same as --mode runtime - --root ROOT - set path to plumed directory (default: PLUMED_ROOT environment variable) -d FILE, --diff FILE set the path to diff file (default: ROOT/patches/ENGINE.diff) (FOR TESTING) -f, --force