diff options
Diffstat (limited to 'tools/watch.sh')
| -rw-r--r-- | tools/watch.sh | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/tools/watch.sh b/tools/watch.sh deleted file mode 100644 index 61e3dc40a2..0000000000 --- a/tools/watch.sh +++ /dev/null @@ -1,8 +0,0 @@ -#!/bin/bash -set -euo pipefail - -make watch-frontend & -make watch-backend & - -trap 'kill $(jobs -p)' EXIT -wait |