From 3500ca1757d78b03d9277085bebbe58d62ec3915 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Loi=CC=88c=20Correnson?= <loic.correnson@cea.fr>
Date: Mon, 3 Jan 2022 17:17:47 +0100
Subject: [PATCH] [ivette] ignore headers for eslintrc
---
ivette/headers/header_spec.txt | 2 +-
ivette/headers/register.sh | 2 +-
2 files changed, 2 insertions(+), 2 deletions(-)
diff --git a/ivette/headers/header_spec.txt b/ivette/headers/header_spec.txt
index 5afc58c8b6e..40e6b6a4e9f 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 20812369e79..d288cc053ac 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* )
--
GitLab