diff options
| author | Graydon Hoare <[email protected]> | 2010-06-23 21:03:09 -0700 |
|---|---|---|
| committer | Graydon Hoare <[email protected]> | 2010-06-23 21:03:09 -0700 |
| commit | d6b7c96c3eb29b9244ece0c046d3f372ff432d04 (patch) | |
| tree | b425187e232966063ffc2f0d14c04a55d8f004ef /src/boot/driver/x86 | |
| parent | Initial git commit. (diff) | |
| download | rust-d6b7c96c3eb29b9244ece0c046d3f372ff432d04.tar.xz rust-d6b7c96c3eb29b9244ece0c046d3f372ff432d04.zip | |
Populate tree.
Diffstat (limited to 'src/boot/driver/x86')
| -rw-r--r-- | src/boot/driver/x86/glue.ml | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/src/boot/driver/x86/glue.ml b/src/boot/driver/x86/glue.ml new file mode 100644 index 00000000..4fc74480 --- /dev/null +++ b/src/boot/driver/x86/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: + *) + |