From 8e51cfd068f2bae563e5ef5ddef76f9cd684a621 Mon Sep 17 00:00:00 2001 From: Giovanni Bussi <giovanni.bussi@gmail.com> Date: Sat, 18 Jun 2011 11:22:12 +0200 Subject: [PATCH] Small fix option --root was not working properly --- tools/plumed | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/tools/plumed b/tools/plumed index 2729175a5..70ea0cd4e 100755 --- a/tools/plumed +++ b/tools/plumed @@ -11,7 +11,7 @@ Actions (choose only one): newcv create a new collective variable from a template (newcv -h for help) Options: - --root ROOT + --root ROOT or --root=ROOT set path to plumed directory (default: PLUMED_ROOT environment variable) " @@ -31,6 +31,7 @@ do (patch) action=patch; exitloop=yes ;; (newcv) action=newcv; exitloop=yes ;; (--root=*) PLUMED_ROOT="${prefix_option#--root=}" ;; + (--root) prefix="${prefix_option}=" ;; (*) echo "ERROR: Unknown option $prefix_option. Use 'plumed help' for help" exit -- GitLab