From 421b3b2cde4f00f5be9478adc7c8d06b338604c6 Mon Sep 17 00:00:00 2001
From: Emilien Lemaire <emilien.lemaire@ocamlpro.com>
Date: Fri, 20 Dec 2024 16:52:51 +0100
Subject: [PATCH] Update Makefile

---
 Makefile.header | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/Makefile.header b/Makefile.header
index 3a5ce9fb..50104869 100644
--- a/Makefile.header
+++ b/Makefile.header
@@ -19,9 +19,10 @@ DUNE_BUILD_SRCDIR =							\
 
 # TARGET_PLAT is defined in Makefile
 TARGET_ARCH ?= x64
-TARGET_SPEC = $(TARGET_PLAT)-$(TARGET_ARCH)
 ifeq ($(TARGET_PLAT),web)
   TARGET_SPEC = $(TARGET_PLAT)
+else
+  TARGET_SPEC = $(TARGET_PLAT)-$(TARGET_ARCH)
 endif
 
 TARGET_PROFILE ?= release