diff options
| -rw-r--r-- | asmcomp/asmlink.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/asmcomp/asmlink.ml b/asmcomp/asmlink.ml index 8bac70d29..5ce036c11 100644 --- a/asmcomp/asmlink.ml +++ b/asmcomp/asmlink.ml @@ -183,11 +183,11 @@ let call_linker file_list startup_file = else "libasmrun" ^ ext_lib in let runtime_lib = try - if !nopervasives then "" + if !Clflags.nopervasives then "" else find_in_path !load_path libname with Not_found -> raise(Error(File_not_found libname)) in - let c_lib = if !nopervasives then "" else Config.c_libraries in + let c_lib = if !Clflags.nopervasives then "" else Config.c_libraries in let cmd = match Config.system with "win32" -> |