ref: a30f99a4e64b55d80e9bd0d4485972a20bfa2a95
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