#!/bin/sh
# Author: Jeff Dalton
# Updated: Mon Aug 29 17:28:24 2005 by Jeff Dalton
# Copyright: (c) 2001, AIAI, University of Edinburgh

this_dir=`dirname "$0"`
export ix=$this_dir/..

find -X -s . -type f | grep domain-library | xargs $this_dir/check-domains

