diff --git a/regtest/scripts/what b/regtest/scripts/what index ed38be884057dc04db8518199cf8bf236aa6b25c..bfff7fabd010e10cb0ade2c64e1f31d05fd20c5a 100755 --- a/regtest/scripts/what +++ b/regtest/scripts/what @@ -1,7 +1,13 @@ #!/bin/bash +if test -n "$PLUMED_PREPEND_PATH" ; then + PATH="$PLUMED_PREPEND_PATH:$PATH" +fi + +plumed="${PLUMED_PROGRAM_NAME:-plumed}" + for action in $( - cat $(plumed info --root)/src/*/*.cpp | grep PLUMED_REGISTER_ACTION | + cat $($plumed --no-mpi info --root)/src/*/*.cpp | grep PLUMED_REGISTER_ACTION | sed -e 's/,/ /g s/(/ /g s/)/ /g' | awk '{print $3}' | sed -e 's/\([\"]\)//g'