| # | Line 8 | Line 8 | onintr quit | |
|---|---|---|
| 8 | rm -f EMPTY | |
| 9 | echo -n > EMPTY | |
| 10 | sleep 2 | |
| 11 | < | ( ls $* | sed -e 's@^@/^@' -e 's@$@$/d@' ; echo '/^EMPTY$/,$d' ) > /tmp/sed$$ |
| 11 | > | ( ls $* | sed -e 's~/~\\/~g' -e 's@^@/^@' -e 's@$@$/d@' ; echo '/^EMPTY$/,$d' ) > /tmp/sed$$ |
| 12 | getbbox -w $* >/dev/null | |
| 13 | set es=$status | |
| 14 | if ( $es == 0 ) then | |
| – | Removed lines |
| + | Added lines |
| < | Changed lines |
| > | Changed lines |