From 109c225b25e25c244c77adfaaf7a290aaa230f6e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fran=C3=A7ois=20Bobot?= <francois.bobot@cea.fr>
Date: Tue, 23 Aug 2016 13:14:58 +0200
Subject: [PATCH] Adding message before .merlin generation

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

diff --git a/Makefile.generating b/Makefile.generating
index 72bb05086dc..1b3a85d837c 100644
--- a/Makefile.generating
+++ b/Makefile.generating
@@ -177,6 +177,7 @@ endif
 .PHONY:merlin
 .merlin merlin: share/Makefile.config Makefile.generating
 #create Merlin file
+	$(PRINT_MAKING) $@
 	echo "FLG -c $(FLAGS) $(FRAMAC_USER_MERLIN_FLAGS)" > .merlin
 	for PKG in $(LIBRARY_NAMES); do echo PKG $$PKG >> .merlin; done
 	for PKG in $(LIBRARY_NAMES_GUI); do echo PKG $$PKG >> .merlin; done
-- 
GitLab