projects / mit-scheme.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7a8b8cd) | patch
Split the actual search in search_path_for_file into
authorGuillermo J. Rozas <edu/mit/csail/zurich/gjr>
Tue, 29 Oct 1991 22:38:34 +0000 (22:38 +0000)
committerGuillermo J. Rozas <edu/mit/csail/zurich/gjr>
Tue, 29 Oct 1991 22:38:34 +0000 (22:38 +0000)
commit00b1ae1495f8d8832ac757c580784f91b97339bd
treeb715fad0fb177155405eaaee0555eee0de52ed14tree | snapshot
parent7a8b8cd4ffaf83b1359aa949e2ee84a13ad1dfd4commit | diff
Split the actual search in search_path_for_file into
search_for_library_file so that other parts of the microcode can call
it without terminating in case of failure.
v7/src/microcode/option.h diff | blob | history
MIT/GNU Scheme, Pucked