Use .so extension only when input file is a .bin file; otherwise use
authorChris Hanson <org/chris-hanson/cph>
Sun, 15 Apr 2007 19:21:53 +0000 (19:21 +0000)
committerChris Hanson <org/chris-hanson/cph>
Sun, 15 Apr 2007 19:21:53 +0000 (19:21 +0000)
commit6e780a5edbd4bd853c53451504945af2a0a2a4a1
treed4f0f39cc36aee09dc3c5eb2f5e1c4c0c4ac6616
parent3243a9fb96518a143e5e441dabc08be9625d8045
Use .so extension only when input file is a .bin file; otherwise use
input file's extension.
v7/src/compiler/machines/C/cout.scm