From edd0cd916719fc7b5291e99f581c5e69b0ac0005 Mon Sep 17 00:00:00 2001 From: Anton Bachin Date: Wed, 19 Apr 2023 09:29:33 +0300 Subject: [PATCH] Fix make watch --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index a58ea9dc..3010c0c9 100644 --- a/Makefile +++ b/Makefile @@ -6,7 +6,7 @@ build : .PHONY : watch watch : - @dune build --only-packages $(PACKAGES) --no-print-directory -w + @dune build --only-packages $(PACKAGES) --no-print-directory @install -w .PHONY : deps deps :