diff options
Diffstat (limited to 'asmcomp/asmgen.ml')
| -rw-r--r-- | asmcomp/asmgen.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/asmcomp/asmgen.ml b/asmcomp/asmgen.ml index c611ec7d61..0e01f9ba3f 100644 --- a/asmcomp/asmgen.ml +++ b/asmcomp/asmgen.ml @@ -142,7 +142,7 @@ let gen_implementation ?toplevel ppf (size, lam) = let compile_implementation ?toplevel prefixname ppf (size, lam) = let asmfile = - if !keep_asm_file + if !keep_asm_file || !Emitaux.binary_backend_available then prefixname ^ ext_asm else Filename.temp_file "camlasm" ext_asm in |