From 3aaeeca66d79d56530bd2289f21c2a9d37ca1c3c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Virgile=20Pr=C3=A9vosto?= <virgile.prevosto@cea.fr>
Date: Tue, 17 Sep 2013 08:24:24 +0000
Subject: [PATCH] How dare a punny plug-in use Makefile variables belonging to
 the mighty kernel?

---
 src/plugins/e-acsl/Makefile.in | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/src/plugins/e-acsl/Makefile.in b/src/plugins/e-acsl/Makefile.in
index 516e1e79426..c8b51c4517f 100644
--- a/src/plugins/e-acsl/Makefile.in
+++ b/src/plugins/e-acsl/Makefile.in
@@ -150,7 +150,9 @@ EXPORT	=e-acsl-$(EACSL_VERSION)
 DOC_FILES= doc/manuals/e-acsl-manual.pdf  \
 	doc/manuals/e-acsl.pdf doc/manuals/e-acsl-implementation.pdf
 
-DISTRIB_FILES= $(filter-out $(wildcard *local_config.ml), $(wildcard *.ml)) \
+EACSL_DISTRIB_FILES=\
+  $(filter-out \
+	$(wildcard *local_config.ml), $(wildcard *.ml)) \
 	$(wildcard *.mli) \
 	configure.ac Makefile.in \
 	doc/Changelog \
@@ -164,7 +166,7 @@ DISTRIB_FILES= $(filter-out $(wildcard *local_config.ml), $(wildcard *.ml)) \
 
 e-acsl-distrib: .depend
 	$(PRINT_TAR) tmp-distrib
-	$(TAR) cf tmp.tar $(DISTRIB_FILES)
+	$(TAR) cf tmp.tar $(EACSL_DISTRIB_FILES)
 	$(PRINT_MAKING) export directories
 	$(MKDIR) $(EXPORT)
 	$(PRINT_UNTAR) tmp-distrib
-- 
GitLab