blob: fc05b64707a8560a5338f87ba349b9babfe1480a (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
O=$1
shift
nonport=$1
shift
ls -p ../$nonport/*.[cs] >[2]/dev/null | sed '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
|
