From 768e40f40c9b3fbe61459e0cdff4ef771f85caa1 Mon Sep 17 00:00:00 2001
From: Giovanni Bussi <giovanni.bussi@gmail.com>
Date: Mon, 6 Nov 2017 18:52:46 +0100
Subject: [PATCH] Fixed what script
It now takes paths into account correctly
---
regtest/scripts/what | 8 +++++++-
1 file changed, 7 insertions(+), 1 deletion(-)
diff --git a/regtest/scripts/what b/regtest/scripts/what
index ed38be884..bfff7fabd 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'
--
GitLab