Skip to content
Snippets Groups Projects
Commit 236ed516 authored by mc2zk's avatar mc2zk
Browse files

Adding assurance_case_evidence plugin

Former-commit-id: 23c7d62ff4590ffa1fd24d4187a03868f8ce97d3
parent ad142067
No related branches found
No related tags found
No related merge requests found
......@@ -855,6 +855,7 @@ pebliss/trunk/tests/tests_utils/tests_utils.vcproj -text
pebliss/trunk/tests/tests_utils/tests_utils.vcxproj -text
pebliss/trunk/tests/tests_utils/tests_utils.vcxproj.filters -text
plugins_install/add_confinement_section.sh -text
plugins_install/assurance_case_evidence.sh -text
plugins_install/cgc_optimize_start.sh -text
plugins_install/concolic.sh -text
plugins_install/controlled_exit.sh -text
......
#!/bin/bash -x
# check for the logs directory
if [ -d logs ]; then
# Gather the relevant lines and print to stdout
grep -h ATTRIBUTE logs/* | grep :: | sed "s/# ATTRIBUTE//g"
else
echo "ERROR: assurance_case_evidence: no logs directory."
exit 1
fi
exit 0
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