From 938793f8c8b457a1a94b100d18b29ac0b0548c74 Mon Sep 17 00:00:00 2001
From: Patrick Baudin <patrick.baudin@cea.fr>
Date: Tue, 2 Oct 2018 16:03:43 +0200
Subject: [PATCH] [headers] makefile: EACSL_NOHEADER becomes an empty list
---
src/plugins/e-acsl/Makefile.in | 6 ++----
1 file changed, 2 insertions(+), 4 deletions(-)
diff --git a/src/plugins/e-acsl/Makefile.in b/src/plugins/e-acsl/Makefile.in
index 6c10b16e3ae..8f7b05b9570 100644
--- a/src/plugins/e-acsl/Makefile.in
+++ b/src/plugins/e-acsl/Makefile.in
@@ -362,10 +362,8 @@ EACSL_CEA_LGPL_BARE= *.ml *.mli Makefile.in configure.ac \
EACSL_CEA_LGPL=$(addprefix $(EACSL_PLUGIN_DIR)/, $(EACSL_CEA_LGPL_BARE)) \
$(EACSL_CEA_SHARE)
-# Files without header. contrib files keep their own header.
-EACSL_NOHEADER_BARE=INSTALL README VERSION license/* \
- doc/Changelog doc/doxygen/doxygen.cfg.in .depend tests/test_config.in \
- $(EACSL_CONTRIB_FILES)
+# Files without header that not listed into `headers/header_specs.txt` with a `.ignore` attribute
+EACSL_NOHEADER_BARE=
EACSL_NOHEADER=$(addprefix $(EACSL_PLUGIN_DIR)/, $(EACSL_NOHEADER_BARE))
--
GitLab