update makefile

2024-09-19 20:25:53 -05:00 · 2024-09-19 20:25:53 -05:00 · 3bc3b34c67
parent f947a95f49
commit 3bc3b34c67
1 changed files with 4 additions and 3 deletions
--- a/7
+++ b/7
@ -24,9 +24,10 @@ static/highlight.css: build.py
 	python build.py highlight $(FLAGS)

 server: all
-	-killall flask
-	flask run &
-	nginx -c $$(pwd)/nginx.conf -e stderr
+	@trap 'kill 0' SIGINT; \
+	flask run & \
+	nginx -c $$(pwd)/nginx.conf -e stderr & \
+	wait

 clean:
 	-rm -r $(OUT)