diff -r 8e94547457f3 -r 00aecef99f14 build.sh --- a/build.sh Tue Aug 13 17:02:03 2013 +0200 +++ b/build.sh Tue Aug 13 17:11:12 2013 +0200 @@ -38,6 +38,7 @@ pushd `dirname $0`/$GENERATOR_DIR hg status ../../data/dictionary.xml | grep -q "^M" && echo -e "\033[31mWARNING: building from data file which was not commited into Mercurial!\033[0m" || (echo -e "\033[32mINFO: building from versioned data file: `hg identify` \033[0m"); +xmllint --noout --schema ../../data/dictionary.xsd ../../data/dictionary.xml &> /dev/null && echo -e "\033[32mINFO: XML is valid according to XSD\033[0m" || (echo -e "\033[31mERROR: XML is invalid according to XSD\033[0m"); # build the generator if needed if [ ! -f $JAR ]; then