lib/scripts/feeder
changeset 6082 590f9e3bf4d8
parent 4504 2f39aa4bebf3
child 9789 7e5e6c47c0b5
equal deleted inserted replaced
6081:aa97eb904692 6082:590f9e3bf4d8
    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"