diff options
| author | Graydon Hoare <[email protected]> | 2010-12-29 17:46:22 -0800 |
|---|---|---|
| committer | Graydon Hoare <[email protected]> | 2010-12-29 17:46:22 -0800 |
| commit | ad19961c471ebf78f54879e0dace21252aba72d7 (patch) | |
| tree | 450a0ae9d2c0f2f18f865aa0345929affb0e15a0 /src/boot/driver/x86 | |
| parent | Remove LLVM rustboot backend. (diff) | |
| download | rust-ad19961c471ebf78f54879e0dace21252aba72d7.tar.xz rust-ad19961c471ebf78f54879e0dace21252aba72d7.zip | |
More mopping up wrong-named rules in the Makefile.
Diffstat (limited to 'src/boot/driver/x86')
| -rw-r--r-- | src/boot/driver/x86/glue.ml | 16 |
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: - *) - |