From 7182cf1407ec4f4d3b2c5c2041e45a43af25ccab Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr> Date: Fri, 11 Feb 2022 09:45:35 +0100 Subject: [PATCH] [ivette] Updates distributed files. --- ivette/Makefile.distrib | 2 +- ivette/headers/header_spec.txt | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/ivette/Makefile.distrib b/ivette/Makefile.distrib index 1184cc99e59..02f7a024dc5 100644 --- a/ivette/Makefile.distrib +++ b/ivette/Makefile.distrib @@ -147,7 +147,7 @@ DISTRIB_FILES += ivette/src/frama-c/api/generated/kernel/services/index.ts DISTRIB_FILES += ivette/src/frama-c/api/generated/plugins/dive/index.ts DISTRIB_FILES += ivette/src/frama-c/api/generated/plugins/eva/general/index.ts DISTRIB_FILES += ivette/src/frama-c/api/generated/plugins/eva/values/index.ts -DISTRIB_FILES += ivette/src/frama-c/api/generated/plugins/metrics/pivot/index.ts +DISTRIB_FILES += ivette/src/frama-c/api/generated/plugins/pivot/general/index.ts DISTRIB_FILES += ivette/src/frama-c/api/generated/plugins/studia/studia/index.ts DISTRIB_FILES += ivette/src/frama-c/api/generator.ml DISTRIB_FILES += ivette/src/frama-c/client.ts diff --git a/ivette/headers/header_spec.txt b/ivette/headers/header_spec.txt index 6bb901857b5..b41ae593231 100644 --- a/ivette/headers/header_spec.txt +++ b/ivette/headers/header_spec.txt @@ -147,7 +147,7 @@ src/frama-c/api/generated/kernel/services/index.ts: CEA_LGPL src/frama-c/api/generated/plugins/dive/index.ts: CEA_LGPL src/frama-c/api/generated/plugins/eva/general/index.ts: CEA_LGPL src/frama-c/api/generated/plugins/eva/values/index.ts: CEA_LGPL -src/frama-c/api/generated/plugins/metrics/pivot/index.ts: CEA_LGPL +src/frama-c/api/generated/plugins/pivot/general/index.ts: CEA_LGPL src/frama-c/api/generated/plugins/studia/studia/index.ts: CEA_LGPL src/frama-c/api/generator.ml: .ignore src/frama-c/client.ts: CEA_LGPL -- GitLab