changeset 6082 | 590f9e3bf4d8 |
parent 4504 | 2f39aa4bebf3 |
child 9789 | 7e5e6c47c0b5 |
--- a/lib/scripts/feeder Mon Jan 11 18:45:46 1999 +0100 +++ b/lib/scripts/feeder Tue Jan 12 12:17:53 1999 +0100 @@ -79,4 +79,7 @@ ## main -exec perl -w $DIR/feeder.pl "$HEAD" "$EMITPID" "$QUIT" "$SYMBOLS" "$TAIL" +#set by configure +AUTO_PERL=perl + +exec $AUTO_PERL -w $DIR/feeder.pl "$HEAD" "$EMITPID" "$QUIT" "$SYMBOLS" "$TAIL"