From c5720b2fc4cff4551a999ff66ed3a12dbd26c6c1 Mon Sep 17 00:00:00 2001 From: Graydon Hoare Date: Mon, 8 Nov 2010 13:36:03 -0800 Subject: Fix linux burn caused by last commit on friday. --- src/boot/llvm/llasm.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/boot') diff --git a/src/boot/llvm/llasm.ml b/src/boot/llvm/llasm.ml index 67f02517..70cf2470 100644 --- 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 -- cgit v1.2.3