From fbf7c5e09003291009a91f77f99b13109c46c922 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Tue, 8 Feb 2022 13:11:36 -0500
Subject: [PATCH] chore: makefile

---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 12ffb863..78dbae1b 100644
--- a/Makefile
+++ b/Makefile
@@ -79,7 +79,7 @@ reindent:
 
 WATCH=@all
 watch:
-	@dune build $(WATCH) -w $(OPTS)
+	dune build $(WATCH) -w $(OPTS)
 	#@dune build @all -w # TODO: once tests pass
 
 .PHONY: clean doc all bench install uninstall remove reinstall bin test