O=$1 shift objtype=$1 shift ls -p ../$SYSTARG/port/*.[cs] ../$SYSTARG/$OBJTYPE/*.[cs] >[2]/dev/null | sed 's/..$//;s/^/^/' > /tmp/reduce.$pid # # if empty directory, grep will barf; just return the input files # if (test -z /tmp/reduce.$pid) { echo $* rm /tmp/reduce.$pid exit 0 } echo $* | tr ' ' \012 | grep -v -f /tmp/reduce.$pid | tr \012 ' ' rm /tmp/reduce.$pid