diff options
| -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" |
