diff --git a/ivette/headers/header_spec.txt b/ivette/headers/header_spec.txt index 5afc58c8b6e73814cbb5f329856d732fe0795c5d..40e6b6a4e9f5513ecc7435d3715a8441ef52f6e4 100644 --- a/ivette/headers/header_spec.txt +++ b/ivette/headers/header_spec.txt @@ -172,7 +172,7 @@ src/frama-c/plugins/dive/pkg.json: .ignore src/frama-c/plugins/dive/react-cytoscapejs.d.ts: CEA_LGPL src/frama-c/plugins/dive/style.json: .ignore src/frama-c/plugins/dive/tippy.css: .ignore -src/frama-c/plugins/eva/.eslintrc.js: CEA_LGPL +src/frama-c/plugins/eva/.eslintrc.js: .ignore src/frama-c/plugins/eva/Coverage.tsx: CEA_LGPL src/frama-c/plugins/eva/CoverageMeter.tsx: CEA_LGPL src/frama-c/plugins/eva/Summary.tsx: CEA_LGPL diff --git a/ivette/headers/register.sh b/ivette/headers/register.sh index 20812369e795005c6115fa85f51227728b5c7eae..d288cc053ac8fefda9d37e85a7c3e62adc03d19a 100755 --- a/ivette/headers/register.sh +++ b/ivette/headers/register.sh @@ -1,6 +1,6 @@ #!/bin/sh case "$1" in - Makefile.distrib | *.json | src/dome/doc/* ) + Makefile.distrib | *.json | src/dome/doc/* | */.eslintrc.js ) echo "$1: .ignore" ;; *Make* | src/*/*.js* | src/*/*.ts* )