about summary refs log tree commit diff
path: root/src/boot
diff options
context:
space:
mode:
authorGraydon Hoare <graydon@mozilla.com>2011-03-25 14:05:38 -0700
committerGraydon Hoare <graydon@mozilla.com>2011-03-25 14:05:38 -0700
commit91c2b82b0947eece64df03f9e03d65a27d4ef0bf (patch)
tree8149415e7b553a5f85b1f15eb56cca581373d1aa /src/boot
parent846f2e2ba994268725f38c36fa12f1a09f21615c (diff)
downloadrust-91c2b82b0947eece64df03f9e03d65a27d4ef0bf.tar.gz
rust-91c2b82b0947eece64df03f9e03d65a27d4ef0bf.zip
Revert "Bulk-edit compile commands in emacs chatter to point to assumed build/ dir off src root."
This reverts commit 846f2e2ba994268725f38c36fa12f1a09f21615c.
Diffstat (limited to 'src/boot')
-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
38 files changed, 38 insertions, 38 deletions
diff --git a/src/boot/be/abi.ml b/src/boot/be/abi.ml
index 0d061daeffc..023e1e1df20 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 55e9115271d..939b297cfe9 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 cc44e457e80..99b680427d3 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 a84fe6e75a0..9a63576e414 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 1e0734cc769..5d02b2c22fa 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 50887a4d4d2..b85cb1a95d6 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 72027f21f84..66da8093923 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 0a6d7e4452a..49b660be5ae 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 c3f5427b034..4fc7448054d 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 b430fd583d5..00b1b8341f5 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 230d647a02d..ddcbc9afd70 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 418e25de418..0b02096f2ce 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 af73c6d0840..5e814af3af5 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 8910b77b0ee..0f216fc2993 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 2083a03fd31..8b0b149abc3 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 01ce04d4917..2c465be4f3b 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 ccf2a3d4216..6cee87963e7 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 badfcad8bc3..b84e5906bb9 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 a81bd439849..3cf464ca7a8 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 0e3d9df20b8..c4dcfe1ddaa 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 c2278606dd9..7467d4e6eea 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 015d29071e7..77bc769ee53 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 0395d03db29..376effedad2 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 04fafe1e5a1..5b7c0ca1da1 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 e4510a21108..fc4d03b17d3 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 07f954890ab..a5a33b0ba36 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 edb35ea3643..977066c016b 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 2327b0842dd..478ae6f9349 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 1700bd19aa3..68353fc9e96 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 79f5011fd03..97af539ffb7 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 42dba9776a0..17dbe3ea263 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 3c8aab8bf93..3c859e0fdaa 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 16271c61690..72bdd404493 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 fb2ec7a97c6..8b7840a2837 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 b9125e216f2..d3fdc9b483b 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 ec4032d835d..27bb49021af 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 0af6b0b2e20..c76da0de552 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 bf5b18ba64d..8fa4169574f 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:
  *)