1#!/bin/bash 2# 3# Copyright 2020, Data61, CSIRO (ABN 41 687 119 230) 4# 5# SPDX-License-Identifier: BSD-2-Clause 6# 7 8xml_sources=$(find ../libsel4/arch_include/*/interfaces ../libsel4/sel4_arch_include/*/interfaces -name 'sel4arch.xml') 9if [[ -z $xml_sources ]]; then 10 echo "Unable to find sel4arch.xml files" 11 exit 1 12fi 13 14idl_source=$(find ../libsel4/tools -name 'sel4_idl.dtd') 15if [[ -z $idl_source ]]; then 16 echo "Unable to find sel4_idl.dtd" 17 exit 1 18fi 19 20xmllint --dtdvalid ${idl_source} --noout ${xml_sources} 21