diff --git a/.gitattributes b/.gitattributes index 744bbaafd5658922f472f44e7c0f644c9be9cbbd..4a83ec16ea6dc47f8d4eaf0acc5292016a8082e0 100644 --- a/.gitattributes +++ b/.gitattributes @@ -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 diff --git a/plugins_install/assurance_case_evidence.sh b/plugins_install/assurance_case_evidence.sh new file mode 100755 index 0000000000000000000000000000000000000000..c10f2f7b87cab4eedca72c341bead4a098f1cca1 --- /dev/null +++ b/plugins_install/assurance_case_evidence.sh @@ -0,0 +1,13 @@ +#!/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