Fix linux burn caused by last commit on friday.

2010-11-08 13:36:03 -08:00 · 2010-11-08 13:36:03 -08:00 · c5720b2fc4
commit c5720b2fc4
parent 049072db82
1 changed files with 1 additions and 1 deletions
--- a/src/boot/llvm/llasm.ml
+++ b/src/boot/llvm/llasm.ml
@ -25,7 +25,7 @@ let x86_glue
  : asm_glue =
  let (prefix,align) =
    match sess.Session.sess_targ with
-        Linux_x86_elf
+        Linux_x86_elf -> ("", 4)
      | Win32_x86_pe -> ("_",4)
      | MacOS_x86_macho -> ("_", 16)
  in