ref: 0986cc7a9275c06ea337d04edf2092d0f3657a0d
dir: /sys/src/libmp/port/reduce/
O=$1
shift
objtype=$1
shift
if(ls -p ../$objtype/*.[cs] >[2]/dev/null | sed 's/..$//;s/^/^/' > /tmp/reduce.$pid) {
echo $* | tr ' ' \012 | grep -v -f /tmp/reduce.$pid | tr \012 ' '
}
if not {
# if empty directory, just return the input files
echo $*
}
rm /tmp/reduce.$pid