lib/scripts/feeder
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"