aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorbloodstalker <thabogre@gmail.com>2017-02-11 23:23:29 +0000
committerbloodstalker <thabogre@gmail.com>2017-02-11 23:23:29 +0000
commit18f1706e96aacc072341d486ab7bba928d07c1ef (patch)
treeccdb5cfa236669f1abf3431d1d74cd7d6632e9a6
parentadded down links (diff)
downloadmutator-18f1706e96aacc072341d486ab7bba928d07c1ef.tar.gz
mutator-18f1706e96aacc072341d486ab7bba928d07c1ef.zip
the xsd is fixed now so removed the broken message
-rwxr-xr-xmutator.sh2
1 files changed, 1 insertions, 1 deletions
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"