ci: use ./* in `rm -rf` to guard against option-like filenames

This won't be an issue in our case but it's good practice anyway.

Found by shellcheck

diff --git a/ci/run b/ci/run
index 25b06420eda6d45480fe6046f6516c3255d6311c..472502cb0fc43cd0fd11471d9e4c8c312e7ad5e5 100755 (executable)
--- a/ci/run
+++ b/ci/run
@@ -17,7 +17,7 @@ make test $flags
 
 # Strict umask
 umask 077
-rm -rf *
+rm -rf ./*
 git checkout .
 make $flags
 make test $flags