Exclude target when running the fmt script

Useful when running the script locally.
creusot-rs · Dec 5, 2024 · 0f3b5c0 · 0f3b5c0
1 parent 9c87f9c
commit 0f3b5c0
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/fmt b/fmt
@@ -3,8 +3,9 @@
 # We don't instead run "shopt -s globstar", because shopt is not supported in Mac OS.
 
 set -e
+setopt extendedglob
 
 SCRIPTPATH=${0:a:h}
 pushd $SCRIPTPATH > /dev/null
-rustfmt $@ **/*.rs
+rustfmt $@ **/*.rs~target/**/*.rs
 popd > /dev/null