diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2007-10-30 12:37:16 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2007-10-30 12:37:16 +0000 |
| commit | 9ccb91166667859d45fda6ab7df534bbfd10ef66 (patch) | |
| tree | 4c2db48804a7468bd606d02b05ca0a5b3b166270 /asmcomp/ia64 | |
| parent | bbc5f6891a7aec8d495d5d3351bbf514bb10196c (diff) | |
Can select which assembler to use at configuration time (PR#4171)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@8462 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'asmcomp/ia64')
| -rw-r--r-- | asmcomp/ia64/proc.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/asmcomp/ia64/proc.ml b/asmcomp/ia64/proc.ml index 7f99ebb8a..a82536586 100644 --- a/asmcomp/ia64/proc.ml +++ b/asmcomp/ia64/proc.ml @@ -210,7 +210,8 @@ let contains_calls = ref false (* Calling the assembler *) let assemble_file infile outfile = - Ccomp.command ("as -xexplicit -o " ^ Filename.quote outfile ^ " " ^ Filename.quote infile) + Ccomp.command (Config.asm ^ " -o " ^ + Filename.quote outfile ^ " " ^ Filename.quote infile) open Clflags;; open Config;; |