commit 629c05412117d85c5d91960b0026abf448f150d9
parent 3ca7543b9332b23151bd64bf143c3bf570dd44f6
Author: Sebastiano Tronto <sebastiano@tronto.net>
Date: Wed, 2 Jul 2025 14:45:01 +0200
Add optimization option
Diffstat:
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git 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"