build.sh
changeset 57 00aecef99f14
parent 32 149b604c319b
     1.1 --- a/build.sh	Tue Aug 13 17:02:03 2013 +0200
     1.2 +++ b/build.sh	Tue Aug 13 17:11:12 2013 +0200
     1.3 @@ -38,6 +38,7 @@
     1.4  pushd `dirname $0`/$GENERATOR_DIR
     1.5  
     1.6  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");
     1.7 +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");
     1.8  
     1.9  # build the generator if needed
    1.10  if [ ! -f $JAR ]; then