From a54ddeaf19e00e5e9dfc7e6fef111df128a08b61 Mon Sep 17 00:00:00 2001 From: Andre Maroneze <andre.maroneze@cea.fr> Date: Tue, 11 Jan 2022 10:18:37 +0100 Subject: [PATCH] Remove obsolete entries from .gitignore --- .gitignore | 7 ------- src/plugins/e-acsl/.gitignore | 7 ------- src/plugins/server/.gitignore | 2 -- src/plugins/server/tests/.gitignore | 3 ++- src/plugins/wp/.gitignore | 2 -- 5 files changed, 2 insertions(+), 19 deletions(-) diff --git a/.gitignore b/.gitignore index 6739522d9eb..d702a72060c 100644 --- a/.gitignore +++ b/.gitignore @@ -53,10 +53,6 @@ autom4te.cache /tests/crowbar/mutable /tests/crowbar/output-* /tests/crowbar/test_ghost_cfg -/tests/fc_script/compile_commands.json -/tests/journal/intra.byte -/tests/misc/my_visitor_plugin/my_visitor.opt -/tests/misc/my_visitor.sav /tests/spec/preprocess_dos.c /tests/*/*.opt @@ -195,7 +191,6 @@ Makefile.plugin.generated # generated ML files /src/libraries/utils/json.ml -/src/kernel_internals/runtime/toplevel_boot.ml /src/kernel_internals/runtime/fc_config.ml /src/kernel_internals/parsing/logic_lexer.ml /src/kernel_internals/parsing/logic_parser.ml @@ -210,8 +205,6 @@ Makefile.plugin.generated /src/plugins/gui/dgraph_helper.ml /src/plugins/gui/GSourceView.ml /src/plugins/gui/GSourceView.mli -/src/plugins/gui/GSourceView2.ml -/src/plugins/gui/GSourceView2.mli /src/plugins/gui/gtk_compat.ml /src/plugins/markdown-report/META diff --git a/src/plugins/e-acsl/.gitignore b/src/plugins/e-acsl/.gitignore index 571f4326b06..4d4e1b4e3be 100644 --- a/src/plugins/e-acsl/.gitignore +++ b/src/plugins/e-acsl/.gitignore @@ -50,15 +50,9 @@ /doc/userman/*.log /doc/userman/*.lof /doc/userman/eacslversion.tex -/tests/*.cm* -/tests/*.annot -/tests/*_DEP /tests/test_config -/tests/test_config_ci /tests/test_config_dev /tests/*/result*/* -/tests/*/oracle_ci/* -/tests/check/obj/* .frama-c tests/ptests_config META.frama-c-e_acsl @@ -76,6 +70,5 @@ lib/libeacsl-rtl-bittree.a lib/libeacsl-rtl-segment.a lib/libeacsl-rtl-bittree-dbg.a lib/libeacsl-rtl-segment-dbg.a -tests/csrv14/* src/local_config.ml src/dependencies/dep_eva.ml diff --git a/src/plugins/server/.gitignore b/src/plugins/server/.gitignore index f1d2f8cc5ec..4b99079bde0 100644 --- a/src/plugins/server/.gitignore +++ b/src/plugins/server/.gitignore @@ -1,4 +1,2 @@ /Makefile /Server.mli -/tests/ptests_config -/tests/report/result diff --git a/src/plugins/server/tests/.gitignore b/src/plugins/server/tests/.gitignore index e2f5dd2eb20..a002f646b79 100644 --- a/src/plugins/server/tests/.gitignore +++ b/src/plugins/server/tests/.gitignore @@ -1 +1,2 @@ -result \ No newline at end of file +/ptests_config +result diff --git a/src/plugins/wp/.gitignore b/src/plugins/wp/.gitignore index 817f9eb8dee..89eb4113c92 100644 --- a/src/plugins/wp/.gitignore +++ b/src/plugins/wp/.gitignore @@ -14,8 +14,6 @@ /tests/ptests_config /tests/*/result /tests/*/result_* -/tests/*/*.sav -/tests/*/*.out /doc/*/.make-class /doc/*/.make-icons -- GitLab