tools/watch.sh

#!/bin/bash
set -euo pipefail

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

trap 'kill $(jobs -p)' EXIT
wait
Add 'make watch' (#12636 ) 2020-09-05 02:55:06 +02:00			`#!/bin/bash`
			`set -euo pipefail`

Reduce verbosity of dev commands (#24917 ) 2023-05-24 22:11:04 +02:00			`make --no-print-directory watch-frontend &`
			`make --no-print-directory watch-backend &`
Add 'make watch' (#12636 ) 2020-09-05 02:55:06 +02:00
			`trap 'kill $(jobs -p)' EXIT`
			`wait`