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/glue.ml | |
| 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/glue.ml')
| -rw-r--r-- | src/boot/driver/glue.ml | 16 |
1 files changed, 16 insertions, 0 deletions
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: + *) + |