#!/bin/bash
if [ $# == 0 ] ; then
	echo usage: wsdkin keyword
	echo        this will grep keyword in the following directories.
	echo $Include | sed "s/;/\n/g"
else
	INC=`echo $Include`
	IFS=';'
	for x in $INC ; do
		DIR=`cygpath $x`
		grep $1 $DIR/*.h
	done
fi