diff --git a/Makefile b/Makefile index 48d9c2fc..ed28398b 100644 --- a/Makefile +++ b/Makefile @@ -131,7 +131,7 @@ devel: watch: while find src/ benchs/ -print0 | xargs -0 inotifywait -e delete_self -e modify ; do \ echo "============ at `date` ==========" ; \ - make ; \ + make all; \ done .PHONY: examples push_doc tags qtest-gen qtest-clean devel update_next_tag