lib/scripts/patch-scripts.bash
changeset 6105 b4ec1af7053f
parent 6088 bb60ec0bcd74
child 6974 60b0e4bbe331
equal deleted inserted replaced
6104:55c7f8f0bb4d 6105:b4ec1af7053f
    37 
    37 
    38 for FILE in $(find . -type f -print)
    38 for FILE in $(find . -type f -print)
    39 do
    39 do
    40   if [ -x "$FILE" ]; then
    40   if [ -x "$FILE" ]; then
    41     sed -e "s:^#!.*/bash:#!$BASH:" -e "s:^#!.*/perl:#!$PERL:" \
    41     sed -e "s:^#!.*/bash:#!$BASH:" -e "s:^#!.*/perl:#!$PERL:" \
    42       -e "s:^AUTO_BASH=.*/bash:AUTO_BASH=$BASH:" \
    42       -e "s:^AUTO_BASH=.*bash:AUTO_BASH=$BASH:" \
    43       -e "s:^AUTO_PERL=.*/perl:AUTO_PERL=$PERL:" $FILE >$FILE~~
    43       -e "s:^AUTO_PERL=.*perl:AUTO_PERL=$PERL:" $FILE >$FILE~~
    44     if cmp -s $FILE $FILE~~; then
    44     if cmp -s $FILE $FILE~~; then
    45       rm $FILE~~
    45       rm $FILE~~
    46     else
    46     else
    47       rm -f $FILE
    47       rm -f $FILE
    48       mv $FILE~~ $FILE
    48       mv $FILE~~ $FILE