---

brson · graydon · commit 4d8c3478c51b · 2011-02-10T12:00:45.000-08:00
yaml --- r: 1362 b: refs/heads/master c: c0f997b h: refs/heads/master v: v3
diff --git a/[refs] b/[refs]
@@ -1,2 +1,2 @@
 ---
-refs/heads/master: 580d527aa2972ad1f7cbe65f2a98a0dbc92d14f7
+refs/heads/master: c0f997be21ae6b98aa77818dc90bff07544f1c20
diff --git a/trunk/src/boot/be/elf.ml b/trunk/src/boot/be/elf.ml
@@ -64,7 +64,6 @@ let elf_identification sess ei_class ei_data =
                                 (* EI_OSABI *)
           (match sess.Session.sess_targ with
                FreeBSD_x86_elf -> 9
-             | Linux_x86_elf -> 3
              | _ -> 0);
 
           0;                    (* EI_ABIVERSION *)

Original file line number	Diff line number	Diff line change
`@@ -1,2 +1,2 @@`
`1`	`1`	`---`
`2`		`-refs/heads/master: 580d527aa2972ad1f7cbe65f2a98a0dbc92d14f7`
	`2`	`+refs/heads/master: c0f997be21ae6b98aa77818dc90bff07544f1c20`