From f42b48313cdddf3f521e5e80e6d93dff722954b3 Mon Sep 17 00:00:00 2001
From: Patrick Baudin <patrick.baudin@cea.fr>
Date: Fri, 17 Jun 2022 17:58:25 +0200
Subject: [PATCH] [E-ACSL] reverse its dune .gitattributes into master

---
 src/plugins/e-acsl/.gitattributes | 13 +++++++++++--
 1 file changed, 11 insertions(+), 2 deletions(-)

diff --git a/src/plugins/e-acsl/.gitattributes b/src/plugins/e-acsl/.gitattributes
index cca30ad415b..9d7633a5706 100644
--- a/src/plugins/e-acsl/.gitattributes
+++ b/src/plugins/e-acsl/.gitattributes
@@ -2,6 +2,9 @@
 # HEADER_SPEC: CEA_LGPL_OR_PROPRIETARY.E_ACSL #
 ###############################################
 
+dune-project header_spec=CEA_LGPL_OR_PROPRIETARY.E_ACSL
+dune header_spec=CEA_LGPL_OR_PROPRIETARY.E_ACSL
+
 configure.ac header_spec=CEA_LGPL_OR_PROPRIETARY.E_ACSL
 
 Makefile header_spec=CEA_LGPL_OR_PROPRIETARY.E_ACSL
@@ -20,6 +23,13 @@ Makefile.in header_spec=CEA_LGPL_OR_PROPRIETARY.E_ACSL
 /scripts/e-acsl-gcc.sh.comp header_spec=CEA_LGPL_OR_PROPRIETARY.E_ACSL
 /scripts/e-acsl-gcc.sh.comp header_spec=CEA_LGPL_OR_PROPRIETARY.E_ACSL
 
+###########################################
+# CHECK-INDENT                            #
+###########################################
+
+/tests/*/*.c check-syntax check-indent
+/share/**/*.c check-syntax check-indent
+
 ########################
 # HEADER_SPEC: .ignore #
 ########################
@@ -60,10 +70,9 @@ README header_spec=.ignore
 
 /tests/test_config header_spec=.ignore
 /tests/test_config_dev header_spec=.ignore
-/tests/**/* header_spec
+/tests/**/* header_spec=.ignore
 
 /tests/wrapper.sh header_spec=CEA_LGPL_OR_PROPRIETARY.E_ACSL
 /tests/E_ACSL_test.ml header_spec=CEA_LGPL_OR_PROPRIETARY.E_ACSL
 /contrib/libdlmalloc/dlmalloc.* header_spec=MODIFIED_DLMALLOC
 /share/e-acsl/internals/e_acsl_rtl_io.* header_spec=MODIFIED_SPARETIMELABS
-
-- 
GitLab