diff --git a/install-plumed.sh b/install-plumed.sh index 748bf23..5c0a17b 100755 --- a/install-plumed.sh +++ b/install-plumed.sh @@ -36,6 +36,7 @@ else echo "installing latest stable plumed $version" fi +#TODO: make plumed_options an array plumed_options="$EXTRA_OPTIONS" program_name=plumed if [[ -n "$SUFFIX" ]]; then @@ -103,19 +104,17 @@ else rm -fr "${prefix:?}/bin/$program_name" rm -fr "${prefix:?}/include/$program_name" rm -fr "${prefix:?}"/lib/lib$program_name.so* - #{var:?} makes the shell fail to avoid "explosive" deletions in lib and bin - - cat <>$GITHUB_OUTPUT