From ad19961c471ebf78f54879e0dace21252aba72d7 Mon Sep 17 00:00:00 2001
From: Graydon Hoare <graydon@mozilla.com>
Date: Wed, 29 Dec 2010 17:46:22 -0800
Subject: More mopping up wrong-named rules in the Makefile.

---
 src/boot/driver/x86/glue.ml | 16 ----------------
 1 file changed, 16 deletions(-)
 delete mode 100644 src/boot/driver/x86/glue.ml

(limited to 'src/boot/driver/x86')

diff --git a/src/boot/driver/x86/glue.ml b/src/boot/driver/x86/glue.ml
deleted file mode 100644
index 4fc74480..00000000
--- a/src/boot/driver/x86/glue.ml
+++ /dev/null
@@ -1,16 +0,0 @@
-(*
- * Glue, or lack thereof, for the standard x86 backend.
- *)
-
-let alt_argspecs _ = [];;
-let alt_pipeline _ _ _ = ();;
-
-(*
- * Local Variables:
- * fill-column: 78;
- * indent-tabs-mode: nil
- * buffer-file-coding-system: utf-8-unix
- * compile-command: "make -k -C ../.. 2>&1 | sed -e 's/\\/x\\//x:\\//g'";
- * End:
- *)
-
-- 
cgit v1.2.3