From 2598d8a679d668d216428aaf8a6fdcd76b15861c Mon Sep 17 00:00:00 2001
From: Kostyantyn Vorobyov <kostyantyn.vorobyov@cea.fr>
Date: Wed, 16 Dec 2015 14:57:40 +0100
Subject: [PATCH] Script  e-acsl-gcc.sh added to the  'headers' target in
 Makefile.in

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

diff --git a/src/plugins/e-acsl/Makefile.in b/src/plugins/e-acsl/Makefile.in
index 4653f55a903..0325f19a574 100644
--- a/src/plugins/e-acsl/Makefile.in
+++ b/src/plugins/e-acsl/Makefile.in
@@ -218,7 +218,7 @@ headers::
 	headache -c license/headache_config.txt -h license/CEA_LGPL \
 		*.ml *.mli \
 		Makefile.in configure.ac \
-		share/e-acsl/*.[ch] share/e-acsl/*/*.[ch]
+		share/e-acsl/*.[ch] share/e-acsl/*/*.[ch] scripts/*.sh
 
 ################
 # Generic part #
-- 
GitLab