From 828cb4ebb918bdc4bba167c87e4dd0e3b6f75f38 Mon Sep 17 00:00:00 2001
From: Pierre Chambart <pierre.chambart@ocamlpro.com>
Date: Thu, 17 Dec 2015 16:35:35 +0000
Subject: Add field in Config for flambda and change the cmx and cmxa magic
 number

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

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 860e3e4916..c316aaa6e6 100644
--- a/Makefile
+++ b/Makefile
@@ -414,6 +414,7 @@ utils/config.ml: utils/config.mlp config/Makefile
 	    -e 's|%%MKMAINDLL%%|$(MKMAINDLL)|' \
 	    -e 's|%%HOST%%|$(HOST)|' \
 	    -e 's|%%TARGET%%|$(TARGET)|' \
+	    -e 's|%%FLAMBDA%%|$(FLAMBDA)|' \
 	    utils/config.mlp > utils/config.ml
 
 partialclean::
-- 
cgit v1.2.1