diff --git a/tools/cleaning-tools.sh b/tools/cleaning-tools.sh index 96e6116e8..2e7826d2d 100755 --- a/tools/cleaning-tools.sh +++ b/tools/cleaning-tools.sh @@ -13,7 +13,7 @@ clean_tutorial() { rm -rfv ./precice-run/ # Run clean.sh if it exists in the base tutorial directory - if test "clean.sh"; then + if test -f "clean.sh"; then ./clean.sh fi