Merge pull request #1064 from arnaudgolfouse/fmt-args

Improve the `fmt` script, and make it take arguments for rustfmt
creusot-rs · Aug 9, 2024 · f3f1df1 · f3f1df1
2 parents f6a3a0d + befc35c
commit f3f1df1
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/fmt b/fmt
@@ -2,7 +2,9 @@
 # We use zsh instead of bash to enable globstar "**".
 # We don't instead run "shopt -s globstar", because shopt is not supported in Mac OS.
 
-SCRIPTPATH=$(dirname "$BASH_SOURCE")
+set -e
+
+SCRIPTPATH=${0:a:h}
 pushd $SCRIPTPATH > /dev/null
-rustfmt **/*.rs
+rustfmt $@ **/*.rs
 popd > /dev/null