Prefix globs with ./ or use -- to make commands safe with files named like command-line options

2023-10-03 13:03:40 +00:00 · 2021-03-04 16:57:25 +01:00
parent 04302d4828
commit e8a70e8e4b
4 changed files with 10 additions and 10 deletions
@@ -93,6 +93,6 @@ for (var optimize of [false, true])
 }
 EOF
    chmod +x solc
-    ./solc *.sol > /tmp/report.txt
+    ./solc -- *.sol > /tmp/report.txt
 )
 rm -rf "$TMPDIR"