From ad19961c471ebf78f54879e0dace21252aba72d7 Mon Sep 17 00:00:00 2001 From: Graydon Hoare Date: Wed, 29 Dec 2010 17:46:22 -0800 Subject: More mopping up wrong-named rules in the Makefile. --- src/boot/driver/glue.ml | 16 ++++++++++++++++ src/boot/driver/x86/glue.ml | 16 ---------------- 2 files changed, 16 insertions(+), 16 deletions(-) create mode 100644 src/boot/driver/glue.ml delete mode 100644 src/boot/driver/x86/glue.ml (limited to 'src/boot/driver') diff --git a/src/boot/driver/glue.ml b/src/boot/driver/glue.ml new file mode 100644 index 00000000..4fc74480 --- /dev/null +++ b/src/boot/driver/glue.ml @@ -0,0 +1,16 @@ +(* + * 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: + *) + 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