From ef07798717dcf0e20ab387936a9a44a776859de3 Mon Sep 17 00:00:00 2001
From: Julien Signoles <julien.signoles@cea.fr>
Date: Thu, 24 Mar 2011 08:59:49 +0000
Subject: [PATCH] more readable Makefile

---
 src/plugins/e-acsl/Makefile.in | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/src/plugins/e-acsl/Makefile.in b/src/plugins/e-acsl/Makefile.in
index 798fe520b8e..0bc9af91e20 100644
--- a/src/plugins/e-acsl/Makefile.in
+++ b/src/plugins/e-acsl/Makefile.in
@@ -37,6 +37,7 @@ PLUGIN_HAS_MLI:=yes
 PLUGIN_DISTRIBUTED:=no
 PLUGIN_DISTRIB_EXTERNAL:= Makefile.in configure.ac configure
 PLUGIN_DISTRIB_BIN:=no
+PLUGIN_GENERATED:= $(PLUGIN_DIR)/local_config.ml
 
 $(PLUGIN_DIR)/local_config.ml: $(PLUGIN_DIR)/Makefile.in
 	$(PRINT_MAKING) $@
@@ -46,8 +47,6 @@ $(PLUGIN_DIR)/local_config.ml: $(PLUGIN_DIR)/Makefile.in
 	$(ECHO) "let may_use_assert = @MAY_USE_ASSERT@" >> $@
 	$(CHMOD_RO) $@
 
-PLUGIN_GENERATED:= $(PLUGIN_DIR)/local_config.ml
-
 ###########
 # Testing #
 ###########
-- 
GitLab