add scripts/watchwatch.sh to reboot the watcher if typechecker or run… · JavaDerek/unison@245049c · GitHub
Skip to content

Commit 245049c

Browse files
committed
add scripts/watchwatch.sh to reboot the watcher if typechecker or runtime sources change
1 parent 45766f0 commit 245049c

2 files changed

Lines changed: 81 additions & 0 deletions

File tree

‎scripts/execwatch.sh‎

Lines changed: 67 additions & 0 deletions

‎scripts/watchwatch.sh‎

Lines changed: 14 additions & 0 deletions

0 commit comments

Comments
 (0)