diff options
| author | Damien Doligez <damien.doligez-inria.fr> | 1999-11-08 18:50:36 +0000 |
|---|---|---|
| committer | Damien Doligez <damien.doligez-inria.fr> | 1999-11-08 18:50:36 +0000 |
| commit | 511c2f58c46c7455f130a1ccce7f2569c06b85e0 (patch) | |
| tree | 8deeb2e8b00f97301791ebdaf096ec605046278a | |
| parent | 2a0fd9fa7596ddb3489c44fae142ccd444c63577 (diff) | |
bug sur -nopervasives
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2496 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| -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" -> |