diff --git a/regtest/scripts/run b/regtest/scripts/run index 9d3f3293d2cb5f02277d3023b31e90a283b53b77..9c489174d1c60892bd0b3bf4690efb8849422f74 100755 --- a/regtest/scripts/run +++ b/regtest/scripts/run @@ -66,6 +66,16 @@ then exit 0; fi +for need in $plumed_needs +do + echo "Checking for $need" + if ! plumed --has-$need + then + echo "NOT_APPLIABLE ($need NOT INSTALLED)" + exit 0; + fi +done + case "$type" in (simplemd) test -f in || {