28 lines
688 B
Bash
Executable File
28 lines
688 B
Bash
Executable File
#!/bin/bash
|
|
|
|
script_dir="$(dirname "$(readlink -f "$0")")"
|
|
cd $script_dir
|
|
|
|
schema_dir=../resources/schema
|
|
top_schema=$schema_dir/top_dictionaries.xsd # for now we only have dictionaries
|
|
|
|
example_dir=../examples
|
|
for example_subdir in $example_dir/*
|
|
do
|
|
base=${example_subdir##*/}
|
|
bottom_schema=$schema_dir/$base.xsd
|
|
for example_file in $example_subdir/*.xml
|
|
do
|
|
command="xmllint -schema $top_schema $example_file --noout"
|
|
echo $command
|
|
if ! $command; then
|
|
exit 1
|
|
fi
|
|
command="xmllint -schema $bottom_schema $example_file --noout"
|
|
echo $command
|
|
if ! $command; then
|
|
exit 1
|
|
fi
|
|
done
|
|
done
|