Add code to preserve uncompressed .bif files.
authorGuillermo J. Rozas <edu/mit/csail/zurich/gjr>
Fri, 31 Jul 1992 15:46:19 +0000 (15:46 +0000)
committerGuillermo J. Rozas <edu/mit/csail/zurich/gjr>
Fri, 31 Jul 1992 15:46:19 +0000 (15:46 +0000)
commit3a83141f853d679d570e3f965da4c30b3e96836a
tree804dd29dac972eee6785b8f42517195425342974
parentf969d71c2ba3ebfd0b430acb323435859f67b443
Add code to preserve uncompressed .bif files.
In this way, when debugging a file, the cost is paid only once.

The most recent of the .inf, .bif, and .bci files is used.
v7/src/runtime/infutl.scm
v8/src/runtime/infutl.scm