From d287854b301bb8b4726b50ac21513b658fe1fb6b Mon Sep 17 00:00:00 2001 From: Sebastiano Tronto Date: Wed, 2 Jul 2025 14:45:01 +0200 Subject: Add optimization option --- 2022/run.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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() { [ -d "$1" ] || (echo "Directory $1 does not exist"; exit 1) [ -f "$1/$2.rs" ] || (echo "File $1/$2.rs does not exist"; exit 2) -rustc "$1/$2.rs" -o "$1/$2.out" && time "./$1/$2.out" +rustc -O "$1/$2.rs" -o "$1/$2.out" && time RUST_BACKTRACE=1 "./$1/$2.out" -- cgit v1.3