aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-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