diff options
author | JJ | 2023-12-01 07:31:34 +0000 |
---|---|---|
committer | JJ | 2023-12-01 07:31:34 +0000 |
commit | 0e8d6bbf3e55e7506e1e92b5292833b1f3907d06 (patch) | |
tree | aa48059a011d58a1efdd46f5b41427851ba7218d /util/watch | |
parent | dad35e2ee87ede7f19490b5abaffbf3aaf2f12e6 (diff) |
Diffstat (limited to 'util/watch')
-rwxr-xr-x | util/watch | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -2,6 +2,6 @@ source "vars" -while inotifywait --quiet --event modify "nim/day${DAY}/src/main.nim" +while inotifywait --quiet --event modify "nim/day${DAY}.nim" do ./run done |