aboutsummaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
Diffstat (limited to 'src')
-rw-r--r--src/boot/be/abi.ml2
-rw-r--r--src/boot/be/asm.ml2
-rw-r--r--src/boot/be/elf.ml2
-rw-r--r--src/boot/be/il.ml2
-rw-r--r--src/boot/be/macho.ml2
-rw-r--r--src/boot/be/pe.ml2
-rw-r--r--src/boot/be/ra.ml2
-rw-r--r--src/boot/be/x86.ml2
-rw-r--r--src/boot/driver/glue.ml2
-rw-r--r--src/boot/driver/lib.ml2
-rw-r--r--src/boot/driver/main.ml2
-rw-r--r--src/boot/driver/session.ml2
-rw-r--r--src/boot/fe/ast.ml2
-rw-r--r--src/boot/fe/cexp.ml2
-rw-r--r--src/boot/fe/extfmt.ml2
-rw-r--r--src/boot/fe/fuzz.ml2
-rw-r--r--src/boot/fe/item.ml2
-rw-r--r--src/boot/fe/lexer.mll2
-rw-r--r--src/boot/fe/parser.ml2
-rw-r--r--src/boot/fe/pexp.ml2
-rw-r--r--src/boot/fe/token.ml2
-rw-r--r--src/boot/me/alias.ml2
-rw-r--r--src/boot/me/dead.ml2
-rw-r--r--src/boot/me/dwarf.ml2
-rw-r--r--src/boot/me/effect.ml2
-rw-r--r--src/boot/me/layer.ml2
-rw-r--r--src/boot/me/layout.ml2
-rw-r--r--src/boot/me/loop.ml2
-rw-r--r--src/boot/me/resolve.ml2
-rw-r--r--src/boot/me/simplify.ml2
-rw-r--r--src/boot/me/trans.ml2
-rw-r--r--src/boot/me/transutil.ml2
-rw-r--r--src/boot/me/type.ml2
-rw-r--r--src/boot/me/typestate.ml2
-rw-r--r--src/boot/me/walk.ml2
-rw-r--r--src/boot/util/bits.ml2
-rw-r--r--src/boot/util/common.ml2
-rw-r--r--src/boot/util/fmt.ml2
-rw-r--r--src/comp/back/abi.rs2
-rw-r--r--src/comp/back/x86.rs2
-rw-r--r--src/comp/driver/rustc.rs2
-rw-r--r--src/comp/driver/session.rs2
-rw-r--r--src/comp/front/ast.rs2
-rw-r--r--src/comp/front/creader.rs2
-rw-r--r--src/comp/front/eval.rs2
-rw-r--r--src/comp/front/extfmt.rs2
-rw-r--r--src/comp/front/lexer.rs2
-rw-r--r--src/comp/front/parser.rs2
-rw-r--r--src/comp/front/token.rs2
-rw-r--r--src/comp/lib/llvm.rs2
-rw-r--r--src/comp/middle/fold.rs2
-rw-r--r--src/comp/middle/resolve.rs2
-rw-r--r--src/comp/middle/trans.rs2
-rw-r--r--src/comp/middle/ty.rs2
-rw-r--r--src/comp/middle/typeck.rs2
-rw-r--r--src/comp/util/common.rs2
-rw-r--r--src/rt/util/synchronized_indexed_list.h2
57 files changed, 57 insertions, 57 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:
*)
diff --git a/src/comp/back/abi.rs b/src/comp/back/abi.rs
index 17185884..cae1dc90 100644
--- a/src/comp/back/abi.rs
+++ b/src/comp/back/abi.rs
@@ -105,6 +105,6 @@ fn no_op_type_glue_name() -> str {
// indent-tabs-mode: nil
// c-basic-offset: 4
// 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/comp/back/x86.rs b/src/comp/back/x86.rs
index 6719f29e..1ac03d1f 100644
--- a/src/comp/back/x86.rs
+++ b/src/comp/back/x86.rs
@@ -319,6 +319,6 @@ fn get_target_triple() -> str {
// indent-tabs-mode: nil
// c-basic-offset: 4
// 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/comp/driver/rustc.rs b/src/comp/driver/rustc.rs
index a5e549b7..b91d0914 100644
--- a/src/comp/driver/rustc.rs
+++ b/src/comp/driver/rustc.rs
@@ -228,5 +228,5 @@ impure fn main(vec[str] args) {
// indent-tabs-mode: nil
// c-basic-offset: 4
// 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/comp/driver/session.rs b/src/comp/driver/session.rs
index d1bdbaa8..f6ad590f 100644
--- a/src/comp/driver/session.rs
+++ b/src/comp/driver/session.rs
@@ -89,5 +89,5 @@ obj session(cfg targ, map.hashmap[int, crate_metadata] crates) {
// indent-tabs-mode: nil
// c-basic-offset: 4
// 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/comp/front/ast.rs b/src/comp/front/ast.rs
index 0081ebba..70b3320d 100644
--- a/src/comp/front/ast.rs
+++ b/src/comp/front/ast.rs
@@ -509,6 +509,6 @@ fn is_call_expr(@expr e) -> bool {
// indent-tabs-mode: nil
// c-basic-offset: 4
// 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/comp/front/creader.rs b/src/comp/front/creader.rs
index 0f3c0d98..4a5f28ff 100644
--- a/src/comp/front/creader.rs
+++ b/src/comp/front/creader.rs
@@ -291,5 +291,5 @@ fn lookup_def(session.session sess, &span sp, int cnum, vec[ast.ident] path)
// indent-tabs-mode: nil
// c-basic-offset: 4
// 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/comp/front/eval.rs b/src/comp/front/eval.rs
index 48795b5c..4cf3765f 100644
--- a/src/comp/front/eval.rs
+++ b/src/comp/front/eval.rs
@@ -433,6 +433,6 @@ impure fn eval_crate_directive(parser p,
// indent-tabs-mode: nil
// c-basic-offset: 4
// 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/comp/front/extfmt.rs b/src/comp/front/extfmt.rs
index c2aa06c0..0a32a851 100644
--- a/src/comp/front/extfmt.rs
+++ b/src/comp/front/extfmt.rs
@@ -548,6 +548,6 @@ fn pieces_to_expr(vec[piece] pieces, vec[@ast.expr] args) -> @ast.expr {
// indent-tabs-mode: nil
// c-basic-offset: 4
// 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/comp/front/lexer.rs b/src/comp/front/lexer.rs
index f3702593..6975d9c5 100644
--- a/src/comp/front/lexer.rs
+++ b/src/comp/front/lexer.rs
@@ -786,6 +786,6 @@ impure fn next_token(reader rdr) -> token.token {
// indent-tabs-mode: nil
// c-basic-offset: 4
// 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/comp/front/parser.rs b/src/comp/front/parser.rs
index 98c669c9..6a37128b 100644
--- a/src/comp/front/parser.rs
+++ b/src/comp/front/parser.rs
@@ -2480,6 +2480,6 @@ impure fn parse_crate_from_crate_file(parser p) -> @ast.crate {
// indent-tabs-mode: nil
// c-basic-offset: 4
// 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/comp/front/token.rs b/src/comp/front/token.rs
index e66e3aaa..72d82010 100644
--- a/src/comp/front/token.rs
+++ b/src/comp/front/token.rs
@@ -359,5 +359,5 @@ fn to_str(token t) -> str {
// indent-tabs-mode: nil
// c-basic-offset: 4
// 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/comp/lib/llvm.rs b/src/comp/lib/llvm.rs
index 9f7650d8..1a643fe6 100644
--- a/src/comp/lib/llvm.rs
+++ b/src/comp/lib/llvm.rs
@@ -1414,6 +1414,6 @@ fn mk_section_iter(ObjectFileRef llof) -> section_iter {
// indent-tabs-mode: nil
// c-basic-offset: 4
// 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/comp/middle/fold.rs b/src/comp/middle/fold.rs
index d8799bbd..da898f4d 100644
--- a/src/comp/middle/fold.rs
+++ b/src/comp/middle/fold.rs
@@ -1639,6 +1639,6 @@ fn new_identity_fold[ENV]() -> ast_fold[ENV] {
// indent-tabs-mode: nil
// c-basic-offset: 4
// 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/comp/middle/resolve.rs b/src/comp/middle/resolve.rs
index b2820c62..2c378c8f 100644
--- a/src/comp/middle/resolve.rs
+++ b/src/comp/middle/resolve.rs
@@ -685,5 +685,5 @@ fn resolve_crate(session.session sess, @ast.crate crate) -> @ast.crate {
// indent-tabs-mode: nil
// c-basic-offset: 4
// 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/comp/middle/trans.rs b/src/comp/middle/trans.rs
index 8761fb75..0acbb7e1 100644
--- a/src/comp/middle/trans.rs
+++ b/src/comp/middle/trans.rs
@@ -6550,6 +6550,6 @@ fn trans_crate(session.session sess, @ast.crate crate, str output,
// indent-tabs-mode: nil
// c-basic-offset: 4
// 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/comp/middle/ty.rs b/src/comp/middle/ty.rs
index ed018d79..fba9a1fd 100644
--- a/src/comp/middle/ty.rs
+++ b/src/comp/middle/ty.rs
@@ -1675,5 +1675,5 @@ fn substitute_ty_params(vec[ast.ty_param] ty_params, vec[@t] bound, @t ty)
// indent-tabs-mode: nil
// c-basic-offset: 4
// 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/comp/middle/typeck.rs b/src/comp/middle/typeck.rs
index 7a44d463..11309202 100644
--- a/src/comp/middle/typeck.rs
+++ b/src/comp/middle/typeck.rs
@@ -2587,6 +2587,6 @@ fn check_crate(session.session sess, @ast.crate crate) -> @ast.crate {
// indent-tabs-mode: nil
// c-basic-offset: 4
// 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/comp/util/common.rs b/src/comp/util/common.rs
index d29c8ffe..b23d6a1e 100644
--- a/src/comp/util/common.rs
+++ b/src/comp/util/common.rs
@@ -83,6 +83,6 @@ fn istr(int i) -> str {
// indent-tabs-mode: nil
// c-basic-offset: 4
// 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/rt/util/synchronized_indexed_list.h b/src/rt/util/synchronized_indexed_list.h
index 9c0cd51f..52fabe05 100644
--- a/src/rt/util/synchronized_indexed_list.h
+++ b/src/rt/util/synchronized_indexed_list.h
@@ -68,7 +68,7 @@ public:
// indent-tabs-mode: nil
// c-basic-offset: 4
// 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:
//