1#!/bin/bash 2 3# 4# Copyright 2018, Data61 5# Commonwealth Scientific and Industrial Research Organisation (CSIRO) 6# ABN 41 687 119 230. 7# 8# This software may be distributed and modified according to the terms of 9# the BSD 2-Clause license. Note that NO WARRANTY is provided. 10# See "LICENSE_BSD2.txt" for details. 11# 12# @TAG(DATA61_BSD) 13# 14 15xml_sources=$(find ../libsel4/arch_include/*/interfaces ../libsel4/sel4_arch_include/*/interfaces -name 'sel4arch.xml') 16if [[ -z $xml_sources ]]; then 17 echo "Unable to find sel4arch.xml files" 18 exit 1 19fi 20 21idl_source=$(find ../libsel4/tools -name 'sel4_idl.dtd') 22if [[ -z $idl_source ]]; then 23 echo "Unable to find sel4_idl.dtd" 24 exit 1 25fi 26 27xmllint --dtdvalid ${idl_source} --noout ${xml_sources} 28