From 30d446c01bb9c4640533711e535cf42dbfe1db27 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Thu, 30 Oct 2025 16:47:47 -0400 Subject: [PATCH] makefile --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index f769d8f1..4291a68f 100644 --- a/Makefile +++ b/Makefile @@ -11,7 +11,7 @@ clean: @dune clean protoc-gen: - FORCE_GENPROTO=true @dune build @lint + FORCE_GENPROTO=true dune build @lint format: @dune build @fmt --auto-promote