if(~ $#pid 0)
	pid=1234
ls -p ../$systype/$objtype/*.[cs] ../$systype/port/*.[cs] >[2]nul | sed 's/..$//;s/^/^/' > reduce.$pid
#
#	if empty directory, just return the input files
#
if(test -z reduce.$pid) {
	echo $*
	rm reduce.$pid
	exit 0
}
echo $* | tr ' ' '\012' | grep -v -f reduce.$pid | tr '\012' ' '
#rm reduce.$pid