Temporary patch for bug 1358192: printf("%f"...) sets fraction to zero.
[fw/sdcc] / install-sh
2000-01-17 michaelhInitial revision