Skip to content
Snippets Groups Projects
Commit d29e8bd0 authored by Andre Maroneze's avatar Andre Maroneze
Browse files

[Makefile] add script to distributed files

parent bf89f6b7
No related branches found
No related tags found
No related merge requests found
......@@ -1939,6 +1939,7 @@ install:: install-lib
share/analysis-scripts/frama_c_results.py \
share/analysis-scripts/git_utils.py \
share/analysis-scripts/list_files.py \
share/analysis-scripts/make_template.py \
share/analysis-scripts/make_wrapper.py \
share/analysis-scripts/parse-coverage.sh \
share/analysis-scripts/README.md \
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment