tools/watch.sh


1
2
3
4
5
6
7
8

#!/bin/bash
set -euo pipefail

make --no-print-directory watch-frontend &
make --no-print-directory watch-backend &

trap 'kill $(jobs -p)' EXIT
wait