From 76021629a3835c79b6e0322388968cce214aa864 Mon Sep 17 00:00:00 2001
From: Nicolas Berthier <nicolas.berthier@ocamlpro.com>
Date: Wed, 20 Sep 2023 16:02:09 +0200
Subject: [PATCH] Stop `make` from running the tests

---
 Makefile.header | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Makefile.header b/Makefile.header
index 4667ec9c9..2e74a1e72 100644
--- a/Makefile.header
+++ b/Makefile.header
@@ -1,8 +1,8 @@
 PROJECT=superbol_vscode_platform
 SRCDIR=src/vscode/superbol-vscode-platform
 
-compile:
-	opam exec -- dune build
+.PHONY: compile
+compile: build
 	cp -f _build/default/src/vscode/vscode-package-json/main.exe vscode-package-json
 	yarn esbuild _build/default/$(SRCDIR)/$(PROJECT).bc.js \
                 --bundle \