equal
deleted
inserted
replaced
73 |
73 |
74 |
74 |
75 |
75 |
76 ## main |
76 ## main |
77 |
77 |
78 #set by configure |
78 exec perl -w "$DIR"/feeder.pl "$HEAD" "$EMITPID" "$QUIT" "$TAIL" |
79 AUTO_PERL=perl |
|
80 |
|
81 exec "$AUTO_PERL" -w "$DIR"/feeder.pl "$HEAD" "$EMITPID" "$QUIT" "$TAIL" |
|