#!/bin/sh
#
# hdrLocation - Return the location of the specified include file
#

HDR_NAME=$1

POSSIBLE_DIRS=`getKnownHdrPaths`


for i in $POSSIBLE_DIRS
do
    if [ -f "$i/$HDR_NAME" ]
    then
        echo `deReference $i`/$HDR_NAME
	exit 0
    fi

done

