Skip to content
Snippets Groups Projects
Commit d1111c17 authored by Giovanni Bussi's avatar Giovanni Bussi
Browse files

Patched files are sorted

Avoid clashes between same patch created by different people
parent 89bcc7a3
No related branches found
No related tags found
No related merge requests found
......@@ -223,7 +223,7 @@ case "$action" in
echo "ERROR: I cannot find Plumed.h and Plumed.inc files. You have likely not patched yet."
exit
fi
PREPLUMED=$(find . -name "*.preplumed")
PREPLUMED=$(find . -name "*.preplumed" | sort)
if ! test "$PREPLUMED" ; then
echo "ERROR: I cannot find any .preplumed file. You have likely not patched yet."
exit
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment