diff --git a/patches/patch.sh b/patches/patch.sh index f21f7c03472784ee317be01c1d3301b7983ffffa..fee5415d156f8fbf7c40402f246effa58334b4fa 100755 --- a/patches/patch.sh +++ b/patches/patch.sh @@ -63,7 +63,7 @@ do (--mode=*) mode="${prefix_option#--mode=}" ;; (--diff=*) diff="${prefix_option#--diff=}" ;; (--engine|-e) prefix="--engine=" ;; - (--root) prefix="--root=" ;; + (--root=*) prefix="--root="; PLUMED_ROOT="${prefix_option#--root=}" ;; (--diff|-d) prefix="--diff=" ;; (--mode|-m) prefix="--mode=" ;; (--new|-n) prefix="--new=" ;;