diff options
| author | Sebastiano Tronto <sebastiano@tronto.net> | 2025-07-02 14:45:01 +0200 |
|---|---|---|
| committer | Sebastiano Tronto <sebastiano@tronto.net> | 2025-07-02 14:45:01 +0200 |
| commit | d287854b301bb8b4726b50ac21513b658fe1fb6b (patch) | |
| tree | d45410dd849c9630f62871a47b7f251dedeeb06b | |
| parent | bce2009698f7ef4ba066ee5122500fe32c1289cd (diff) | |
| download | aoc-d287854b301bb8b4726b50ac21513b658fe1fb6b.tar.gz aoc-d287854b301bb8b4726b50ac21513b658fe1fb6b.zip | |
Add optimization option
| -rwxr-xr-x | 2022/run.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/2022/run.sh b/2022/run.sh index 56e1177..69de29e 100755 --- a/2022/run.sh +++ b/2022/run.sh | |||
| @@ -9,4 +9,4 @@ usage() { | |||
| 9 | [ -d "$1" ] || (echo "Directory $1 does not exist"; exit 1) | 9 | [ -d "$1" ] || (echo "Directory $1 does not exist"; exit 1) |
| 10 | [ -f "$1/$2.rs" ] || (echo "File $1/$2.rs does not exist"; exit 2) | 10 | [ -f "$1/$2.rs" ] || (echo "File $1/$2.rs does not exist"; exit 2) |
| 11 | 11 | ||
| 12 | rustc "$1/$2.rs" -o "$1/$2.out" && time "./$1/$2.out" | 12 | rustc -O "$1/$2.rs" -o "$1/$2.out" && time RUST_BACKTRACE=1 "./$1/$2.out" |