diff options
| author | j-james | 2022-12-01 03:01:41 +0000 |
|---|---|---|
| committer | j-james | 2022-12-01 03:01:41 +0000 |
| commit | 5bb17e9fcf87a976c69dab9e6a73a42745b3d4ce (patch) | |
| tree | 138bfc44e692d4c8890af11ec2f5816c2b461f27 /util/run | |
| parent | 1ec309b88e176909dc3d72ecb715d6e2d68c2f3d (diff) | |
Move scripts to a util folder
Diffstat (limited to 'util/run')
| -rwxr-xr-x | util/run | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/util/run b/util/run new file mode 100755 index 0000000..3d068e1 --- /dev/null +++ b/util/run @@ -0,0 +1,5 @@ +#!/bin/bash + +source "vars" + +nim c --warnings:off --hints:off -r "nim/day${DAY}/src/main.nim" "nim/day${DAY}/input.txt" |