#!/bin/sh usage () { cat </dev/null); then defaultval="${default##*=}" res=$(/usr/bin/xmllint --xpath "/pipespec/pipeline/@name=${defaultval}" "${file}") if ! test x"${res}" = xtrue; then echo "ERROR:$default specified in ${file}, but no pipelines have the name ${defaultval}" exit 1 fi fi