keie 8c874d4632 Run $RANLIB if the shell variable is set.

1984-12-17 15:50:02 +00:00

..

march.sh

Run $RANLIB if the shell variable is set.

1984-12-17 15:50:02 +00:00