about summary refs log tree commit diff
path: root/src/boot
diff options
context:
space:
mode:
authorGraydon Hoare <graydon@mozilla.com>2011-03-25 15:07:27 -0700
committerGraydon Hoare <graydon@mozilla.com>2011-03-25 15:07:27 -0700
commitb2427509e2d53897b7c7797d5948773b63aed3df (patch)
treec5ae9e8136b521ccd19e2530ffbf5add8617ed55 /src/boot
parent864e2ab24e98544dcde794995f5b1d66c4f047c6 (diff)
downloadrust-b2427509e2d53897b7c7797d5948773b63aed3df.tar.gz
rust-b2427509e2d53897b7c7797d5948773b63aed3df.zip
Another go at changing compile-command, this time using RBUILD env var.
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 023e1e1df20..150f4cc229a 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 ../.. 2>&1 | sed -e 's/\\/x\\//x:\\//g'"; 
+ * compile-command: "make -k -C $RBUILD 2>&1 | sed -e 's/\\/x\\//x:\\//g'"; 
  * End:
  *)
diff --git a/src/boot/be/asm.ml b/src/boot/be/asm.ml
index 939b297cfe9..f8284beffa0 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 ../.. 2>&1 | sed -e 's/\\/x\\//x:\\//g'";
+ * compile-command: "make -k -C $RBUILD 2>&1 | sed -e 's/\\/x\\//x:\\//g'";
  * End:
  *)
diff --git a/src/boot/be/elf.ml b/src/boot/be/elf.ml
index 99b680427d3..9ca1b3b6f88 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 ../.. 2>&1 | sed -e 's/\\/x\\//x:\\//g'";
+ * compile-command: "make -k -C $RBUILD 2>&1 | sed -e 's/\\/x\\//x:\\//g'";
  * End:
  *)
diff --git a/src/boot/be/il.ml b/src/boot/be/il.ml
index 9a63576e414..1539c00b87c 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 ../.. 2>&1 | sed -e 's/\\/x\\//x:\\//g'";
+ * compile-command: "make -k -C $RBUILD 2>&1 | sed -e 's/\\/x\\//x:\\//g'";
  * End:
  *)
diff --git a/src/boot/be/macho.ml b/src/boot/be/macho.ml
index 5d02b2c22fa..61b1514eed1 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 ../.. 2>&1 | sed -e 's/\\/x\\//x:\\//g'";
+ * compile-command: "make -k -C $RBUILD 2>&1 | sed -e 's/\\/x\\//x:\\//g'";
  * End:
  *)
diff --git a/src/boot/be/pe.ml b/src/boot/be/pe.ml
index b85cb1a95d6..296d0ace51e 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 ../.. 2>&1 | sed -e 's/\\/x\\//x:\\//g'";
+ * compile-command: "make -k -C $RBUILD 2>&1 | sed -e 's/\\/x\\//x:\\//g'";
  * End:
  *)
diff --git a/src/boot/be/ra.ml b/src/boot/be/ra.ml
index 66da8093923..dca2c0b64ea 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 ../.. 2>&1 | sed -e 's/\\/x\\//x:\\//g'";
+ * compile-command: "make -k -C $RBUILD 2>&1 | sed -e 's/\\/x\\//x:\\//g'";
  * End:
  *)
diff --git a/src/boot/be/x86.ml b/src/boot/be/x86.ml
index 49b660be5ae..949df5c9502 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 ../.. 2>&1 | sed -e 's/\\/x\\//x:\\//g'";
+ * compile-command: "make -k -C $RBUILD 2>&1 | sed -e 's/\\/x\\//x:\\//g'";
  * End:
  *)
diff --git a/src/boot/driver/glue.ml b/src/boot/driver/glue.ml
index 4fc7448054d..fa7bee2f859 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 ../.. 2>&1 | sed -e 's/\\/x\\//x:\\//g'";
+ * compile-command: "make -k -C $RBUILD 2>&1 | sed -e 's/\\/x\\//x:\\//g'";
  * End:
  *)
 
diff --git a/src/boot/driver/lib.ml b/src/boot/driver/lib.ml
index 00b1b8341f5..113ed08643d 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 ../.. 2>&1 | sed -e 's/\\/x\\//x:\\//g'";
+ * compile-command: "make -k -C $RBUILD 2>&1 | sed -e 's/\\/x\\//x:\\//g'";
  * End:
  *)
diff --git a/src/boot/driver/main.ml b/src/boot/driver/main.ml
index ddcbc9afd70..44586be3f9f 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 ../.. 2>&1 | sed -e 's/\\/x\\//x:\\//g'";
+ * compile-command: "make -k -C $RBUILD 2>&1 | sed -e 's/\\/x\\//x:\\//g'";
  * End:
  *)
diff --git a/src/boot/driver/session.ml b/src/boot/driver/session.ml
index 0b02096f2ce..ac56f855b81 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 ../.. 2>&1 | sed -e 's/\\/x\\//x:\\//g'";
+ * compile-command: "make -k -C $RBUILD 2>&1 | sed -e 's/\\/x\\//x:\\//g'";
  * End:
  *)
diff --git a/src/boot/fe/ast.ml b/src/boot/fe/ast.ml
index 5e814af3af5..8ea03a63ceb 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 ../.. 2>&1 | sed -e 's/\\/x\\//x:\\//g'";
+ * compile-command: "make -k -C $RBUILD 2>&1 | sed -e 's/\\/x\\//x:\\//g'";
  * End:
  *)
diff --git a/src/boot/fe/cexp.ml b/src/boot/fe/cexp.ml
index 0f216fc2993..a0db6773801 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 ../.. 2>&1 | sed -e 's/\\/x\\//x:\\//g'";
+ * compile-command: "make -k -C $RBUILD 2>&1 | sed -e 's/\\/x\\//x:\\//g'";
  * End:
  *)
diff --git a/src/boot/fe/extfmt.ml b/src/boot/fe/extfmt.ml
index 8b0b149abc3..6b0bd7882ea 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 ../.. 2>&1 | sed -e 's/\\/x\\//x:\\//g'";
+ * compile-command: "make -k -C $RBUILD 2>&1 | sed -e 's/\\/x\\//x:\\//g'";
  * End:
  *)
diff --git a/src/boot/fe/fuzz.ml b/src/boot/fe/fuzz.ml
index 2c465be4f3b..d93c36577b1 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 ../.. 2>&1 | sed -e 's/\\/x\\//x:\\//g'";
+ * compile-command: "make -k -C $RBUILD 2>&1 | sed -e 's/\\/x\\//x:\\//g'";
  * End:
  *)
diff --git a/src/boot/fe/item.ml b/src/boot/fe/item.ml
index 6cee87963e7..fce8937343a 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 ../.. 2>&1 | sed -e 's/\\/x\\//x:\\//g'";
+ * compile-command: "make -k -C $RBUILD 2>&1 | sed -e 's/\\/x\\//x:\\//g'";
  * End:
  *)
diff --git a/src/boot/fe/lexer.mll b/src/boot/fe/lexer.mll
index b84e5906bb9..40e131412a8 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 ../.. 2>&1 | sed -e 's/\\/x\\//x:\\//g'";
+ * compile-command: "make -k -C $RBUILD 2>&1 | sed -e 's/\\/x\\//x:\\//g'";
  * End:
  *)
diff --git a/src/boot/fe/parser.ml b/src/boot/fe/parser.ml
index 3cf464ca7a8..f961bd39dfb 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 ../.. 2>&1 | sed -e 's/\\/x\\//x:\\//g'";
+ * compile-command: "make -k -C $RBUILD 2>&1 | sed -e 's/\\/x\\//x:\\//g'";
  * End:
  *)
diff --git a/src/boot/fe/pexp.ml b/src/boot/fe/pexp.ml
index c4dcfe1ddaa..062529667b4 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 ../.. 2>&1 | sed -e 's/\\/x\\//x:\\//g'";
+ * compile-command: "make -k -C $RBUILD 2>&1 | sed -e 's/\\/x\\//x:\\//g'";
  * End:
  *)
diff --git a/src/boot/fe/token.ml b/src/boot/fe/token.ml
index 7467d4e6eea..18da8c6d271 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 ../.. 2>&1 | sed -e 's/\\/x\\//x:\\//g'";
+ * compile-command: "make -k -C $RBUILD 2>&1 | sed -e 's/\\/x\\//x:\\//g'";
  * End:
  *)
diff --git a/src/boot/me/alias.ml b/src/boot/me/alias.ml
index 77bc769ee53..1fc4834b855 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 ../.. 2>&1 | sed -e 's/\\/x\\//x:\\//g'";
+ * compile-command: "make -k -C $RBUILD 2>&1 | sed -e 's/\\/x\\//x:\\//g'";
  * End:
  *)
diff --git a/src/boot/me/dead.ml b/src/boot/me/dead.ml
index 376effedad2..d508c664c24 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 ../.. 2>&1 | sed -e 's/\\/x\\//x:\\//g'";
+ * compile-command: "make -k -C $RBUILD 2>&1 | sed -e 's/\\/x\\//x:\\//g'";
  * End:
  *)
diff --git a/src/boot/me/dwarf.ml b/src/boot/me/dwarf.ml
index 5b7c0ca1da1..51bd4184ff0 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 ../.. 2>&1 | sed -e 's/\\/x\\//x:\\//g'";
+ * compile-command: "make -k -C $RBUILD 2>&1 | sed -e 's/\\/x\\//x:\\//g'";
  * End:
  *)
 
diff --git a/src/boot/me/effect.ml b/src/boot/me/effect.ml
index fc4d03b17d3..5a9b81069eb 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 ../.. 2>&1 | sed -e 's/\\/x\\//x:\\//g'";
+ * compile-command: "make -k -C $RBUILD 2>&1 | sed -e 's/\\/x\\//x:\\//g'";
  * End:
  *)
diff --git a/src/boot/me/layer.ml b/src/boot/me/layer.ml
index a5a33b0ba36..e99c9ac83c7 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 ../.. 2>&1 | sed -e 's/\\/x\\//x:\\//g'";
+ * compile-command: "make -k -C $RBUILD 2>&1 | sed -e 's/\\/x\\//x:\\//g'";
  * End:
  *)
diff --git a/src/boot/me/layout.ml b/src/boot/me/layout.ml
index 977066c016b..fd2a90b2b02 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 ../.. 2>&1 | sed -e 's/\\/x\\//x:\\//g'";
+ * compile-command: "make -k -C $RBUILD 2>&1 | sed -e 's/\\/x\\//x:\\//g'";
  * End:
  *)
diff --git a/src/boot/me/loop.ml b/src/boot/me/loop.ml
index 478ae6f9349..a0fc9570259 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 ../.. 2>&1 | sed -e 's/\\/x\\//x:\\//g'";
+ * compile-command: "make -k -C $RBUILD 2>&1 | sed -e 's/\\/x\\//x:\\//g'";
  * End:
  *)
diff --git a/src/boot/me/resolve.ml b/src/boot/me/resolve.ml
index 68353fc9e96..b7fd25ae088 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 ../.. 2>&1 | sed -e 's/\\/x\\//x:\\//g'";
+ * compile-command: "make -k -C $RBUILD 2>&1 | sed -e 's/\\/x\\//x:\\//g'";
  * End:
  *)
 
diff --git a/src/boot/me/simplify.ml b/src/boot/me/simplify.ml
index 97af539ffb7..a4cd1418e38 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 ../.. 2>&1 | sed -e 's/\\/x\\//x:\\//g'";
+ * compile-command: "make -k -C $RBUILD 2>&1 | sed -e 's/\\/x\\//x:\\//g'";
  * End:
  *)
 
diff --git a/src/boot/me/trans.ml b/src/boot/me/trans.ml
index 17dbe3ea263..e99ea8f9c82 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 ../.. 2>&1 | sed -e 's/\\/x\\//x:\\//g'";
+ * compile-command: "make -k -C $RBUILD 2>&1 | sed -e 's/\\/x\\//x:\\//g'";
  * End:
  *)
diff --git a/src/boot/me/transutil.ml b/src/boot/me/transutil.ml
index 3c859e0fdaa..ad012a756cd 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 ../.. 2>&1 | sed -e 's/\\/x\\//x:\\//g'";
+ * compile-command: "make -k -C $RBUILD 2>&1 | sed -e 's/\\/x\\//x:\\//g'";
  * End:
  *)
diff --git a/src/boot/me/type.ml b/src/boot/me/type.ml
index 72bdd404493..b8ebf242ff9 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 ../.. 2>&1 | sed -e 's/\\/x\\//x:\\//g'";
+ * compile-command: "make -k -C $RBUILD 2>&1 | sed -e 's/\\/x\\//x:\\//g'";
  * End:
  *)
 
diff --git a/src/boot/me/typestate.ml b/src/boot/me/typestate.ml
index 8b7840a2837..4c55c12e981 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 ../.. 2>&1 | sed -e 's/\\/x\\//x:\\//g'";
+ * compile-command: "make -k -C $RBUILD 2>&1 | sed -e 's/\\/x\\//x:\\//g'";
  * End:
  *)
diff --git a/src/boot/me/walk.ml b/src/boot/me/walk.ml
index d3fdc9b483b..d703ee6964e 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 ../.. 2>&1 | sed -e 's/\\/x\\//x:\\//g'";
+ * compile-command: "make -k -C $RBUILD 2>&1 | sed -e 's/\\/x\\//x:\\//g'";
  * End:
  *)
diff --git a/src/boot/util/bits.ml b/src/boot/util/bits.ml
index 27bb49021af..aed0f2b8361 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 ../.. 2>&1 | sed -e 's/\\/x\\//x:\\//g'";
+ * compile-command: "make -k -C $RBUILD 2>&1 | sed -e 's/\\/x\\//x:\\//g'";
  * End:
  *)
diff --git a/src/boot/util/common.ml b/src/boot/util/common.ml
index c76da0de552..63897217293 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 ../.. 2>&1 | sed -e 's/\\/x\\//x:\\//g'";
+ * compile-command: "make -k -C $RBUILD 2>&1 | sed -e 's/\\/x\\//x:\\//g'";
  * End:
  *)
diff --git a/src/boot/util/fmt.ml b/src/boot/util/fmt.ml
index 8fa4169574f..e62ec1ec748 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 ../.. 2>&1 | sed -e 's/\\/x\\//x:\\//g'";
+ * compile-command: "make -k -C $RBUILD 2>&1 | sed -e 's/\\/x\\//x:\\//g'";
  * End:
  *)