Better build/watch

2023-04-06 11:47:30 +02:00
parent 9fadfe7cde
commit b606b67d43
10 changed files with 301 additions and 66 deletions
--- a/watch.sh
+++ b/watch.sh
@@ -0,0 +1,8 @@
+#!/bin/bash
+set -euo pipefail
+
+make watch_frontend &
+make watch_backend &
+
+trap 'kill $(jobs -p)' EXIT
+wait