From 849194728a1ec2a09402ccfc3c03e85b83a79892 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Tue, 28 Feb 2023 11:07:55 -0500 Subject: [PATCH] chore: makefile --- Makefile | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 499085d..2428bca 100644 --- a/Makefile +++ b/Makefile @@ -13,7 +13,8 @@ clean: doc: @dune build @doc +WATCH?=@all watch: - @dune build @all -w + @dune build $(WATCH )-w .PHONY: all build test watch