equal
deleted
inserted
replaced
77 |
77 |
78 |
78 |
79 |
79 |
80 ## main |
80 ## main |
81 |
81 |
82 exec perl -w $DIR/feeder.pl "$HEAD" "$EMITPID" "$QUIT" "$SYMBOLS" "$TAIL" |
82 #set by configure |
|
83 AUTO_PERL=perl |
|
84 |
|
85 exec $AUTO_PERL -w $DIR/feeder.pl "$HEAD" "$EMITPID" "$QUIT" "$SYMBOLS" "$TAIL" |