(*
 * 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:
 *)