From cb548af6e1f76d1a6bb6c339af2fae1aa9abd8b3 Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.oliveiramaroneze@cea.fr>
Date: Thu, 11 Apr 2019 16:48:00 +0200
Subject: [PATCH] [fc-script] fix distribution of files from !2116
---
Makefile | 2 ++
headers/header_spec.txt | 1 +
2 files changed, 3 insertions(+)
diff --git a/Makefile b/Makefile
index 94bfa0d32a6..5d51fd0d81a 100644
--- a/Makefile
+++ b/Makefile
@@ -256,6 +256,7 @@ DISTRIB_FILES:=\
share/analysis-scripts/concat-csv.sh \
share/analysis-scripts/clone.sh \
$(wildcard share/analysis-scripts/examples/*) \
+ share/analysis-scripts/fc_stubs.c \
share/analysis-scripts/find_fun.py \
share/analysis-scripts/flamegraph.pl \
share/analysis-scripts/frama-c.mk \
@@ -1910,6 +1911,7 @@ install:: install-lib
share/analysis-scripts/cmd-dep.sh \
share/analysis-scripts/concat-csv.sh \
share/analysis-scripts/clone.sh \
+ share/analysis-scripts/fc_stubs.c \
share/analysis-scripts/find_fun.py \
share/analysis-scripts/flamegraph.pl \
share/analysis-scripts/frama-c.mk \
diff --git a/headers/header_spec.txt b/headers/header_spec.txt
index 52cb9fa3d6b..7a59f56fa0a 100644
--- a/headers/header_spec.txt
+++ b/headers/header_spec.txt
@@ -115,6 +115,7 @@ ptests/ptests.ml: CEA_LGPL
share/_frama-c: CEA_LGPL
share/analysis-scripts/benchmark_database.py: .ignore
share/analysis-scripts/clone.sh: .ignore
+share/analysis-scripts/fc_stubs.c: .ignore
share/analysis-scripts/frama-c.mk: CEA_LGPL
share/analysis-scripts/frama_c_results.py: .ignore
share/analysis-scripts/cmd-dep.sh: .ignore
--
GitLab