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.

diff --git a/v7/src/microcode/option.h b/v7/src/microcode/option.h
index 6899cc8abc8498dc26fbc0ca4c94d86d4eee7f41..b893d87b4d0fcd37f6dbc0d3b77cf64ef0ed95c0 100644 (file)
--- a/v7/src/microcode/option.h
+++ b/v7/src/microcode/option.h
@@ -1,6 +1,6 @@
 /* -*-C-*-
 
-$Header: /Users/cph/tmp/foo/mit-scheme/mit-scheme/v7/src/microcode/option.h,v 1.4 1991/09/07 22:30:56 jinx Exp $
+$Header: /Users/cph/tmp/foo/mit-scheme/mit-scheme/v7/src/microcode/option.h,v 1.5 1991/10/29 22:38:34 jinx Exp $
 
 Copyright (c) 1990-1991 Massachusetts Institute of Technology
 
@@ -70,6 +70,9 @@ int option_gc_window_size;
 int option_gc_write_overlap;
 
 extern void EXFUN (read_command_line_options, (int argc, CONST char ** argv));
+
+extern CONST char * EXFUN (search_for_library_file, (CONST char *));
+
 extern CONST char * EXFUN
   (search_path_for_file,
    (CONST char * option, CONST char * filename, int default_p));