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