From 18f1706e96aacc072341d486ab7bba928d07c1ef Mon Sep 17 00:00:00 2001 From: bloodstalker Date: Sun, 12 Feb 2017 02:53:29 +0330 Subject: the xsd is fixed now so removed the broken message --- mutator.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'mutator.sh') diff --git a/mutator.sh b/mutator.sh index 15436fe..cb31ba8 100755 --- a/mutator.sh +++ b/mutator.sh @@ -59,7 +59,7 @@ do echo "./mutator-lvl0 -SysHeader=false -MainOnly=true ./test/testFuncs1.c ./test/testFuncs2.c ./test/testFuncs3.c -- -std=c90 -I/lib/gcc/x86_64-redhat-linux/5.3.1/include > ./test/misra-log" "./mutator-lvl0" -SysHeader=false -MainOnly=true ./test/testFuncs1.c ./test/testFuncs2.c ./test/testFuncs3.c -- -std=c90 -I/lib/gcc/x86_64-redhat-linux/5.3.1/include > ./test/misra-log elif [[ "$2" == mutator-lvl0 && "$3" == xsd ]]; then - echo "the xsd is currently broken..." + echo "xmllint --noout --schema ./samples/mutator0-report-schema.xsd ./test/misrareport.xml" "xmllint" --noout --schema ./samples/mutator0-report-schema.xsd ./test/misrareport.xml else echo "unknown combination of options: $2 and $3" -- cgit v1.2.3