#!/usr/bin/env bash

if [ ! -z "$CHPL_HOME" ] ; then
    chapelDir="$CHPL_HOME"
else
    chapelDir="./"
fi

pushd $chapelDir > /dev/null

find runtime -wholename "*/.svn" -prune -o -wholename "*/gen" -prune -o \( -name \*.h -o -name \*.c -o -name \*.chpl \) -print0 | xargs -0 grep -H "$@"

popd > /dev/null
