From 9bdea618f34eb23edbed23384beab2142251dc2b Mon Sep 17 00:00:00 2001 From: Basile Desloges <basile.desloges@cea.fr> Date: Wed, 24 Nov 2021 12:26:37 +0100 Subject: [PATCH] [eacsl] Check header of bash completion script --- headers/headache_config.txt | 2 ++ src/plugins/e-acsl/Makefile.in | 1 + src/plugins/e-acsl/headers/header_spec.txt | 1 + src/plugins/e-acsl/scripts/e-acsl-gcc.sh.comp | 2 +- 4 files changed, 5 insertions(+), 1 deletion(-) diff --git a/headers/headache_config.txt b/headers/headache_config.txt index 718e877fdb4..a8a34ccf842 100644 --- a/headers/headache_config.txt +++ b/headers/headache_config.txt @@ -39,6 +39,8 @@ | ".*_frama-c" -> skip match:"#compdef.*" | ".*\.sh" -> frame open:"#" line:"#" close:"#" | ".*\.sh" -> skip match:"#!.*" +| ".*\.sh.comp" -> frame open:"#" line:"#" close:"#" +| ".*\.sh.comp" -> skip match:"#!.*" | "frama-c" -> frame open:"#" line:"#" close:"#" | ".*frama-c" -> skip match:"#!.*" | "frama-c-config" -> frame open:"#" line:"#" close:"#" diff --git a/src/plugins/e-acsl/Makefile.in b/src/plugins/e-acsl/Makefile.in index 955185162ec..e612b382343 100644 --- a/src/plugins/e-acsl/Makefile.in +++ b/src/plugins/e-acsl/Makefile.in @@ -460,6 +460,7 @@ EACSL_CEA_LGPL_BARE= src/*.ml src/*/*.ml src/*.mli src/*/*.mli \ E_ACSL.mli \ Makefile.in configure.ac tab-in-changelog.sh \ scripts/*.sh \ + scripts/*.comp \ tests/E_ACSL_test.ml \ tests/wrapper.sh \ man/e-acsl-gcc.sh.1 diff --git a/src/plugins/e-acsl/headers/header_spec.txt b/src/plugins/e-acsl/headers/header_spec.txt index c260e31129e..506060af0d6 100644 --- a/src/plugins/e-acsl/headers/header_spec.txt +++ b/src/plugins/e-acsl/headers/header_spec.txt @@ -12,6 +12,7 @@ license/SPARETIMELABS: .ignore license/headache_config.txt: .ignore man/e-acsl-gcc.sh.1: CEA_LGPL_OR_PROPRIETARY.E_ACSL scripts/e-acsl-gcc.sh: CEA_LGPL_OR_PROPRIETARY.E_ACSL +scripts/e-acsl-gcc.sh.comp: CEA_LGPL_OR_PROPRIETARY.E_ACSL share/e-acsl/instrumentation_model/e_acsl_assert.c: CEA_LGPL_OR_PROPRIETARY.E_ACSL share/e-acsl/instrumentation_model/e_acsl_assert.h: CEA_LGPL_OR_PROPRIETARY.E_ACSL share/e-acsl/instrumentation_model/e_acsl_assert_data.h: CEA_LGPL_OR_PROPRIETARY.E_ACSL diff --git a/src/plugins/e-acsl/scripts/e-acsl-gcc.sh.comp b/src/plugins/e-acsl/scripts/e-acsl-gcc.sh.comp index d3cdb59d3da..da945788460 100644 --- a/src/plugins/e-acsl/scripts/e-acsl-gcc.sh.comp +++ b/src/plugins/e-acsl/scripts/e-acsl-gcc.sh.comp @@ -16,7 +16,7 @@ # GNU Lesser General Public License for more details. # # # # See the GNU Lesser General Public License version 2.1 # -# for more details (enclosed in the file license/LGPLv2.1). # +# for more details (enclosed in the file licenses/LGPLv2.1). # # # ########################################################################## -- GitLab