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