diff options
author | Xavier Leroy <xavier.leroy@inria.fr> | 2010-04-18 09:02:40 +0000 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@inria.fr> | 2010-04-18 09:02:40 +0000 |
commit | df680514f58b2c59b75d2f65785b0a6ea31df55f (patch) | |
tree | f571898bedb193326ceb433f7dff4e312faa8550 /asmcomp | |
parent | 2f65c774e376855104f9e93978b91ac02272c138 (diff) | |
download | ocaml-df680514f58b2c59b75d2f65785b0a6ea31df55f.tar.gz |
PR#4971: wrong variable name in alpha/proc.ml; cleanups in lex/cset.mli and bytecomp/lambda.mli
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10268 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'asmcomp')
-rw-r--r-- | asmcomp/alpha/proc.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/asmcomp/alpha/proc.ml b/asmcomp/alpha/proc.ml index f31b852fbd..93c2422f61 100644 --- a/asmcomp/alpha/proc.ml +++ b/asmcomp/alpha/proc.ml @@ -208,8 +208,8 @@ let contains_calls = ref false let assemble_file infile outfile = let as_cmd = if digital_asm && !Clflags.gprofile - then Config.as ^ " -pg" - else Config.as in + then Config.asm ^ " -pg" + else Config.asm in Ccomp.command (as_cmd ^ " -o " ^ Filename.quote outfile ^ " " ^ Filename.quote infile) |