blob: fa7bee2f8593ab74d902628da316e6e2f43e163a (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
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 $RBUILD 2>&1 | sed -e 's/\\/x\\//x:\\//g'";
* End:
*)
|