aboutsummaryrefslogtreecommitdiff
path: root/2022/run.sh
diff options
context:
space:
mode:
authorSebastiano Tronto <sebastiano@tronto.net>2025-07-02 14:45:01 +0200
committerSebastiano Tronto <sebastiano@tronto.net>2025-07-02 14:45:01 +0200
commitd287854b301bb8b4726b50ac21513b658fe1fb6b (patch)
treed45410dd849c9630f62871a47b7f251dedeeb06b /2022/run.sh
parentbce2009698f7ef4ba066ee5122500fe32c1289cd (diff)
downloadaoc-d287854b301bb8b4726b50ac21513b658fe1fb6b.tar.gz
aoc-d287854b301bb8b4726b50ac21513b658fe1fb6b.zip
Add optimization option
Diffstat (limited to '2022/run.sh')
-rwxr-xr-x2022/run.sh2
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
12rustc "$1/$2.rs" -o "$1/$2.out" && time "./$1/$2.out" 12rustc -O "$1/$2.rs" -o "$1/$2.out" && time RUST_BACKTRACE=1 "./$1/$2.out"

Generated with cgit - Back to sebastiano.tronto.net