1 files changed, 0 insertions, 16 deletions
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:
- *)
-