diff options
Diffstat (limited to 'src/boot')
38 files changed, 38 insertions, 38 deletions
diff --git a/src/boot/be/abi.ml b/src/boot/be/abi.ml index 0d061dae..023e1e1d 100644 --- a/src/boot/be/abi.ml +++ b/src/boot/be/abi.ml @@ -247,6 +247,6 @@ let load_fixup_codeptr * fill-column: 78; * indent-tabs-mode: nil * buffer-file-coding-system: utf-8-unix - * compile-command: "make -k -C ../../../build 2>&1 | sed -e 's/\\/x\\//x:\\//g'"; + * compile-command: "make -k -C ../.. 2>&1 | sed -e 's/\\/x\\//x:\\//g'"; * End: *) diff --git a/src/boot/be/asm.ml b/src/boot/be/asm.ml index 55e91152..939b297c 100644 --- a/src/boot/be/asm.ml +++ b/src/boot/be/asm.ml @@ -826,6 +826,6 @@ let read_rust_note (ar:asm_reader) : (Ast.ident * string) array = * fill-column: 78; * indent-tabs-mode: nil * buffer-file-coding-system: utf-8-unix - * compile-command: "make -k -C ../../../build 2>&1 | sed -e 's/\\/x\\//x:\\//g'"; + * compile-command: "make -k -C ../.. 2>&1 | sed -e 's/\\/x\\//x:\\//g'"; * End: *) diff --git a/src/boot/be/elf.ml b/src/boot/be/elf.ml index cc44e457..99b68042 100644 --- a/src/boot/be/elf.ml +++ b/src/boot/be/elf.ml @@ -1779,6 +1779,6 @@ let get_sections * fill-column: 78; * indent-tabs-mode: nil * buffer-file-coding-system: utf-8-unix - * compile-command: "make -k -C ../../../build 2>&1 | sed -e 's/\\/x\\//x:\\//g'"; + * compile-command: "make -k -C ../.. 2>&1 | sed -e 's/\\/x\\//x:\\//g'"; * End: *) diff --git a/src/boot/be/il.ml b/src/boot/be/il.ml index a84fe6e7..9a63576e 100644 --- a/src/boot/be/il.ml +++ b/src/boot/be/il.ml @@ -932,6 +932,6 @@ let ptr_cast (cell:cell) (rty:referent_ty) : cell = * fill-column: 78; * indent-tabs-mode: nil * buffer-file-coding-system: utf-8-unix - * compile-command: "make -k -C ../../../build 2>&1 | sed -e 's/\\/x\\//x:\\//g'"; + * compile-command: "make -k -C ../.. 2>&1 | sed -e 's/\\/x\\//x:\\//g'"; * End: *) diff --git a/src/boot/be/macho.ml b/src/boot/be/macho.ml index 1e0734cc..5d02b2c2 100644 --- a/src/boot/be/macho.ml +++ b/src/boot/be/macho.ml @@ -1189,6 +1189,6 @@ let get_sections * fill-column: 78; * indent-tabs-mode: nil * buffer-file-coding-system: utf-8-unix - * compile-command: "make -k -C ../../../build 2>&1 | sed -e 's/\\/x\\//x:\\//g'"; + * compile-command: "make -k -C ../.. 2>&1 | sed -e 's/\\/x\\//x:\\//g'"; * End: *) diff --git a/src/boot/be/pe.ml b/src/boot/be/pe.ml index 50887a4d..b85cb1a9 100644 --- a/src/boot/be/pe.ml +++ b/src/boot/be/pe.ml @@ -1170,6 +1170,6 @@ let get_sections * fill-column: 78; * indent-tabs-mode: nil * buffer-file-coding-system: utf-8-unix - * compile-command: "make -k -C ../../../build 2>&1 | sed -e 's/\\/x\\//x:\\//g'"; + * compile-command: "make -k -C ../.. 2>&1 | sed -e 's/\\/x\\//x:\\//g'"; * End: *) diff --git a/src/boot/be/ra.ml b/src/boot/be/ra.ml index 72027f21..66da8093 100644 --- a/src/boot/be/ra.ml +++ b/src/boot/be/ra.ml @@ -683,6 +683,6 @@ let reg_alloc * fill-column: 78; * indent-tabs-mode: nil * buffer-file-coding-system: utf-8-unix - * compile-command: "make -k -C ../../../build 2>&1 | sed -e 's/\\/x\\//x:\\//g'"; + * compile-command: "make -k -C ../.. 2>&1 | sed -e 's/\\/x\\//x:\\//g'"; * End: *) diff --git a/src/boot/be/x86.ml b/src/boot/be/x86.ml index 0a6d7e44..49b660be 100644 --- a/src/boot/be/x86.ml +++ b/src/boot/be/x86.ml @@ -2577,6 +2577,6 @@ let frags_of_emitted_quads (sess:Session.sess) (e:Il.emitter) : Asm.frag = * fill-column: 78; * indent-tabs-mode: nil * buffer-file-coding-system: utf-8-unix - * compile-command: "make -k -C ../../../build 2>&1 | sed -e 's/\\/x\\//x:\\//g'"; + * compile-command: "make -k -C ../.. 2>&1 | sed -e 's/\\/x\\//x:\\//g'"; * End: *) diff --git a/src/boot/driver/glue.ml b/src/boot/driver/glue.ml index c3f5427b..4fc74480 100644 --- a/src/boot/driver/glue.ml +++ b/src/boot/driver/glue.ml @@ -10,7 +10,7 @@ let alt_pipeline _ _ _ = ();; * fill-column: 78; * indent-tabs-mode: nil * buffer-file-coding-system: utf-8-unix - * compile-command: "make -k -C ../../../build 2>&1 | sed -e 's/\\/x\\//x:\\//g'"; + * compile-command: "make -k -C ../.. 2>&1 | sed -e 's/\\/x\\//x:\\//g'"; * End: *) diff --git a/src/boot/driver/lib.ml b/src/boot/driver/lib.ml index b430fd58..00b1b834 100644 --- a/src/boot/driver/lib.ml +++ b/src/boot/driver/lib.ml @@ -459,6 +459,6 @@ let infer_lib_name * fill-column: 78; * indent-tabs-mode: nil * buffer-file-coding-system: utf-8-unix - * compile-command: "make -k -C ../../../build 2>&1 | sed -e 's/\\/x\\//x:\\//g'"; + * compile-command: "make -k -C ../.. 2>&1 | sed -e 's/\\/x\\//x:\\//g'"; * End: *) diff --git a/src/boot/driver/main.ml b/src/boot/driver/main.ml index 230d647a..ddcbc9af 100644 --- a/src/boot/driver/main.ml +++ b/src/boot/driver/main.ml @@ -529,6 +529,6 @@ then Gc.print_stat stdout;; * fill-column: 78; * indent-tabs-mode: nil * buffer-file-coding-system: utf-8-unix - * compile-command: "make -k -C ../../../build 2>&1 | sed -e 's/\\/x\\//x:\\//g'"; + * compile-command: "make -k -C ../.. 2>&1 | sed -e 's/\\/x\\//x:\\//g'"; * End: *) diff --git a/src/boot/driver/session.ml b/src/boot/driver/session.ml index 418e25de..0b02096f 100644 --- a/src/boot/driver/session.ml +++ b/src/boot/driver/session.ml @@ -145,6 +145,6 @@ let make_crate_id (sess:sess) : crate_id = * fill-column: 78; * indent-tabs-mode: nil * buffer-file-coding-system: utf-8-unix - * compile-command: "make -k -C ../../../build 2>&1 | sed -e 's/\\/x\\//x:\\//g'"; + * compile-command: "make -k -C ../.. 2>&1 | sed -e 's/\\/x\\//x:\\//g'"; * End: *) diff --git a/src/boot/fe/ast.ml b/src/boot/fe/ast.ml index af73c6d0..5e814af3 100644 --- a/src/boot/fe/ast.ml +++ b/src/boot/fe/ast.ml @@ -1826,6 +1826,6 @@ let sprintf_stmt = sprintf_fmt fmt_stmt_body;; * fill-column: 78; * indent-tabs-mode: nil * buffer-file-coding-system: utf-8-unix - * compile-command: "make -k -C ../../../build 2>&1 | sed -e 's/\\/x\\//x:\\//g'"; + * compile-command: "make -k -C ../.. 2>&1 | sed -e 's/\\/x\\//x:\\//g'"; * End: *) diff --git a/src/boot/fe/cexp.ml b/src/boot/fe/cexp.ml index 8910b77b..0f216fc2 100644 --- a/src/boot/fe/cexp.ml +++ b/src/boot/fe/cexp.ml @@ -766,6 +766,6 @@ let parse_src_file * fill-column: 78; * indent-tabs-mode: nil * buffer-file-coding-system: utf-8-unix - * compile-command: "make -k -C ../../../build 2>&1 | sed -e 's/\\/x\\//x:\\//g'"; + * compile-command: "make -k -C ../.. 2>&1 | sed -e 's/\\/x\\//x:\\//g'"; * End: *) diff --git a/src/boot/fe/extfmt.ml b/src/boot/fe/extfmt.ml index 2083a03f..8b0b149a 100644 --- a/src/boot/fe/extfmt.ml +++ b/src/boot/fe/extfmt.ml @@ -224,6 +224,6 @@ let parse_fmt_string (s:string) : piece array = * fill-column: 78; * indent-tabs-mode: nil * buffer-file-coding-system: utf-8-unix - * compile-command: "make -k -C ../../../build 2>&1 | sed -e 's/\\/x\\//x:\\//g'"; + * compile-command: "make -k -C ../.. 2>&1 | sed -e 's/\\/x\\//x:\\//g'"; * End: *) diff --git a/src/boot/fe/fuzz.ml b/src/boot/fe/fuzz.ml index 01ce04d4..2c465be4 100644 --- a/src/boot/fe/fuzz.ml +++ b/src/boot/fe/fuzz.ml @@ -161,6 +161,6 @@ let fuzz (seed:int option) (sess:Session.sess) : unit = * fill-column: 78; * indent-tabs-mode: nil * buffer-file-coding-system: utf-8-unix - * compile-command: "make -k -C ../../../build 2>&1 | sed -e 's/\\/x\\//x:\\//g'"; + * compile-command: "make -k -C ../.. 2>&1 | sed -e 's/\\/x\\//x:\\//g'"; * End: *) diff --git a/src/boot/fe/item.ml b/src/boot/fe/item.ml index ccf2a3d4..6cee8796 100644 --- a/src/boot/fe/item.ml +++ b/src/boot/fe/item.ml @@ -1332,6 +1332,6 @@ and parse_mod_items * fill-column: 78; * indent-tabs-mode: nil * buffer-file-coding-system: utf-8-unix - * compile-command: "make -k -C ../../../build 2>&1 | sed -e 's/\\/x\\//x:\\//g'"; + * compile-command: "make -k -C ../.. 2>&1 | sed -e 's/\\/x\\//x:\\//g'"; * End: *) diff --git a/src/boot/fe/lexer.mll b/src/boot/fe/lexer.mll index badfcad8..b84e5906 100644 --- a/src/boot/fe/lexer.mll +++ b/src/boot/fe/lexer.mll @@ -474,6 +474,6 @@ and comment depth = parse * fill-column: 78; * indent-tabs-mode: nil * buffer-file-coding-system: utf-8-unix - * compile-command: "make -k -C ../../../build 2>&1 | sed -e 's/\\/x\\//x:\\//g'"; + * compile-command: "make -k -C ../.. 2>&1 | sed -e 's/\\/x\\//x:\\//g'"; * End: *) diff --git a/src/boot/fe/parser.ml b/src/boot/fe/parser.ml index a81bd439..3cf464ca 100644 --- a/src/boot/fe/parser.ml +++ b/src/boot/fe/parser.ml @@ -367,6 +367,6 @@ let bracketed (bra:token) (ket:token) (prule:pstate -> 'a) (ps:pstate) : 'a = * fill-column: 78; * indent-tabs-mode: nil * buffer-file-coding-system: utf-8-unix - * compile-command: "make -k -C ../../../build 2>&1 | sed -e 's/\\/x\\//x:\\//g'"; + * compile-command: "make -k -C ../.. 2>&1 | sed -e 's/\\/x\\//x:\\//g'"; * End: *) diff --git a/src/boot/fe/pexp.ml b/src/boot/fe/pexp.ml index 0e3d9df2..c4dcfe1d 100644 --- a/src/boot/fe/pexp.ml +++ b/src/boot/fe/pexp.ml @@ -1448,6 +1448,6 @@ and atom_lval (_:pstate) (at:Ast.atom) : Ast.lval = * fill-column: 78; * indent-tabs-mode: nil * buffer-file-coding-system: utf-8-unix - * compile-command: "make -k -C ../../../build 2>&1 | sed -e 's/\\/x\\//x:\\//g'"; + * compile-command: "make -k -C ../.. 2>&1 | sed -e 's/\\/x\\//x:\\//g'"; * End: *) diff --git a/src/boot/fe/token.ml b/src/boot/fe/token.ml index c2278606..7467d4e6 100644 --- a/src/boot/fe/token.ml +++ b/src/boot/fe/token.ml @@ -333,6 +333,6 @@ let rec string_of_tok t = * fill-column: 78; * indent-tabs-mode: nil * buffer-file-coding-system: utf-8-unix - * compile-command: "make -k -C ../../../build 2>&1 | sed -e 's/\\/x\\//x:\\//g'"; + * compile-command: "make -k -C ../.. 2>&1 | sed -e 's/\\/x\\//x:\\//g'"; * End: *) diff --git a/src/boot/me/alias.ml b/src/boot/me/alias.ml index 015d2907..77bc769e 100644 --- a/src/boot/me/alias.ml +++ b/src/boot/me/alias.ml @@ -151,6 +151,6 @@ let process_crate * fill-column: 78; * indent-tabs-mode: nil * buffer-file-coding-system: utf-8-unix - * compile-command: "make -k -C ../../../build 2>&1 | sed -e 's/\\/x\\//x:\\//g'"; + * compile-command: "make -k -C ../.. 2>&1 | sed -e 's/\\/x\\//x:\\//g'"; * End: *) diff --git a/src/boot/me/dead.ml b/src/boot/me/dead.ml index 0395d03d..376effed 100644 --- a/src/boot/me/dead.ml +++ b/src/boot/me/dead.ml @@ -129,6 +129,6 @@ let process_crate * fill-column: 78; * indent-tabs-mode: nil * buffer-file-coding-system: utf-8-unix - * compile-command: "make -k -C ../../../build 2>&1 | sed -e 's/\\/x\\//x:\\//g'"; + * compile-command: "make -k -C ../.. 2>&1 | sed -e 's/\\/x\\//x:\\//g'"; * End: *) diff --git a/src/boot/me/dwarf.ml b/src/boot/me/dwarf.ml index 04fafe1e..5b7c0ca1 100644 --- a/src/boot/me/dwarf.ml +++ b/src/boot/me/dwarf.ml @@ -3246,7 +3246,7 @@ let rec extract_mod_items * fill-column: 78; * indent-tabs-mode: nil * buffer-file-coding-system: utf-8-unix - * compile-command: "make -k -C ../../../build 2>&1 | sed -e 's/\\/x\\//x:\\//g'"; + * compile-command: "make -k -C ../.. 2>&1 | sed -e 's/\\/x\\//x:\\//g'"; * End: *) diff --git a/src/boot/me/effect.ml b/src/boot/me/effect.ml index e4510a21..fc4d03b1 100644 --- a/src/boot/me/effect.ml +++ b/src/boot/me/effect.ml @@ -310,6 +310,6 @@ let process_crate * fill-column: 78; * indent-tabs-mode: nil * buffer-file-coding-system: utf-8-unix - * compile-command: "make -k -C ../../../build 2>&1 | sed -e 's/\\/x\\//x:\\//g'"; + * compile-command: "make -k -C ../.. 2>&1 | sed -e 's/\\/x\\//x:\\//g'"; * End: *) diff --git a/src/boot/me/layer.ml b/src/boot/me/layer.ml index 07f95489..a5a33b0b 100644 --- a/src/boot/me/layer.ml +++ b/src/boot/me/layer.ml @@ -103,6 +103,6 @@ let process_crate * fill-column: 78; * indent-tabs-mode: nil * buffer-file-coding-system: utf-8-unix - * compile-command: "make -k -C ../../../build 2>&1 | sed -e 's/\\/x\\//x:\\//g'"; + * compile-command: "make -k -C ../.. 2>&1 | sed -e 's/\\/x\\//x:\\//g'"; * End: *) diff --git a/src/boot/me/layout.ml b/src/boot/me/layout.ml index edb35ea3..977066c0 100644 --- a/src/boot/me/layout.ml +++ b/src/boot/me/layout.ml @@ -475,6 +475,6 @@ let process_crate * fill-column: 78; * indent-tabs-mode: nil * buffer-file-coding-system: utf-8-unix - * compile-command: "make -k -C ../../../build 2>&1 | sed -e 's/\\/x\\//x:\\//g'"; + * compile-command: "make -k -C ../.. 2>&1 | sed -e 's/\\/x\\//x:\\//g'"; * End: *) diff --git a/src/boot/me/loop.ml b/src/boot/me/loop.ml index 2327b084..478ae6f9 100644 --- a/src/boot/me/loop.ml +++ b/src/boot/me/loop.ml @@ -159,6 +159,6 @@ let process_crate * fill-column: 78; * indent-tabs-mode: nil * buffer-file-coding-system: utf-8-unix - * compile-command: "make -k -C ../../../build 2>&1 | sed -e 's/\\/x\\//x:\\//g'"; + * compile-command: "make -k -C ../.. 2>&1 | sed -e 's/\\/x\\//x:\\//g'"; * End: *) diff --git a/src/boot/me/resolve.ml b/src/boot/me/resolve.ml index 1700bd19..68353fc9 100644 --- a/src/boot/me/resolve.ml +++ b/src/boot/me/resolve.ml @@ -929,7 +929,7 @@ let process_crate * fill-column: 78; * indent-tabs-mode: nil * buffer-file-coding-system: utf-8-unix - * compile-command: "make -k -C ../../../build 2>&1 | sed -e 's/\\/x\\//x:\\//g'"; + * compile-command: "make -k -C ../.. 2>&1 | sed -e 's/\\/x\\//x:\\//g'"; * End: *) diff --git a/src/boot/me/simplify.ml b/src/boot/me/simplify.ml index 79f5011f..97af539f 100644 --- a/src/boot/me/simplify.ml +++ b/src/boot/me/simplify.ml @@ -103,7 +103,7 @@ let process_crate (cx:Semant.ctxt) (crate:Ast.crate) : unit = * fill-column: 78; * indent-tabs-mode: nil * buffer-file-coding-system: utf-8-unix - * compile-command: "make -k -C ../../../build 2>&1 | sed -e 's/\\/x\\//x:\\//g'"; + * compile-command: "make -k -C ../.. 2>&1 | sed -e 's/\\/x\\//x:\\//g'"; * End: *) diff --git a/src/boot/me/trans.ml b/src/boot/me/trans.ml index 42dba977..17dbe3ea 100644 --- a/src/boot/me/trans.ml +++ b/src/boot/me/trans.ml @@ -6337,6 +6337,6 @@ let process_crate * fill-column: 78; * indent-tabs-mode: nil * buffer-file-coding-system: utf-8-unix - * compile-command: "make -k -C ../../../build 2>&1 | sed -e 's/\\/x\\//x:\\//g'"; + * compile-command: "make -k -C ../.. 2>&1 | sed -e 's/\\/x\\//x:\\//g'"; * End: *) diff --git a/src/boot/me/transutil.ml b/src/boot/me/transutil.ml index 3c8aab8b..3c859e0f 100644 --- a/src/boot/me/transutil.ml +++ b/src/boot/me/transutil.ml @@ -246,6 +246,6 @@ let iter_rec_parts * fill-column: 78; * indent-tabs-mode: nil * buffer-file-coding-system: utf-8-unix - * compile-command: "make -k -C ../../../build 2>&1 | sed -e 's/\\/x\\//x:\\//g'"; + * compile-command: "make -k -C ../.. 2>&1 | sed -e 's/\\/x\\//x:\\//g'"; * End: *) diff --git a/src/boot/me/type.ml b/src/boot/me/type.ml index 16271c61..72bdd404 100644 --- a/src/boot/me/type.ml +++ b/src/boot/me/type.ml @@ -1447,7 +1447,7 @@ let process_crate (cx:Semant.ctxt) (crate:Ast.crate) : unit = * fill-column: 78; * indent-tabs-mode: nil * buffer-file-coding-system: utf-8-unix - * compile-command: "make -k -C ../../../build 2>&1 | sed -e 's/\\/x\\//x:\\//g'"; + * compile-command: "make -k -C ../.. 2>&1 | sed -e 's/\\/x\\//x:\\//g'"; * End: *) diff --git a/src/boot/me/typestate.ml b/src/boot/me/typestate.ml index fb2ec7a9..8b7840a2 100644 --- a/src/boot/me/typestate.ml +++ b/src/boot/me/typestate.ml @@ -1537,6 +1537,6 @@ let process_crate * fill-column: 78; * indent-tabs-mode: nil * buffer-file-coding-system: utf-8-unix - * compile-command: "make -k -C ../../../build 2>&1 | sed -e 's/\\/x\\//x:\\//g'"; + * compile-command: "make -k -C ../.. 2>&1 | sed -e 's/\\/x\\//x:\\//g'"; * End: *) diff --git a/src/boot/me/walk.ml b/src/boot/me/walk.ml index b9125e21..d3fdc9b4 100644 --- a/src/boot/me/walk.ml +++ b/src/boot/me/walk.ml @@ -724,6 +724,6 @@ and walk_block * fill-column: 78; * indent-tabs-mode: nil * buffer-file-coding-system: utf-8-unix - * compile-command: "make -k -C ../../../build 2>&1 | sed -e 's/\\/x\\//x:\\//g'"; + * compile-command: "make -k -C ../.. 2>&1 | sed -e 's/\\/x\\//x:\\//g'"; * End: *) diff --git a/src/boot/util/bits.ml b/src/boot/util/bits.ml index ec4032d8..27bb4902 100644 --- a/src/boot/util/bits.ml +++ b/src/boot/util/bits.ml @@ -111,6 +111,6 @@ let to_list (v:t) : int list = * fill-column: 78; * indent-tabs-mode: nil * buffer-file-coding-system: utf-8-unix - * compile-command: "make -k -C ../../../build 2>&1 | sed -e 's/\\/x\\//x:\\//g'"; + * compile-command: "make -k -C ../.. 2>&1 | sed -e 's/\\/x\\//x:\\//g'"; * End: *) diff --git a/src/boot/util/common.ml b/src/boot/util/common.ml index 0af6b0b2..c76da0de 100644 --- a/src/boot/util/common.ml +++ b/src/boot/util/common.ml @@ -818,6 +818,6 @@ let force_sz (a:size) : int64 = * fill-column: 78; * indent-tabs-mode: nil * buffer-file-coding-system: utf-8-unix - * compile-command: "make -k -C ../../../build 2>&1 | sed -e 's/\\/x\\//x:\\//g'"; + * compile-command: "make -k -C ../.. 2>&1 | sed -e 's/\\/x\\//x:\\//g'"; * End: *) diff --git a/src/boot/util/fmt.ml b/src/boot/util/fmt.ml index bf5b18ba..8fa41695 100644 --- a/src/boot/util/fmt.ml +++ b/src/boot/util/fmt.ml @@ -81,6 +81,6 @@ let sprintf_fmt * fill-column: 78; * indent-tabs-mode: nil * buffer-file-coding-system: utf-8-unix - * compile-command: "make -k -C ../../../build 2>&1 | sed -e 's/\\/x\\//x:\\//g'"; + * compile-command: "make -k -C ../.. 2>&1 | sed -e 's/\\/x\\//x:\\//g'"; * End: *) |