Another go at changing compile-command, this time using RBUILD env var.

14 files changed, 14 insertions, 14 deletions

diff --git a/src/boot/me/alias.ml b/src/boot/me/alias.ml
index 77bc769e..1fc4834b 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 376effed..d508c664 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 5b7c0ca1..51bd4184 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 fc4d03b1..5a9b8106 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 a5a33b0b..e99c9ac8 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 977066c0..fd2a90b2 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 478ae6f9..a0fc9570 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 68353fc9..b7fd25ae 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 97af539f..a4cd1418 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 17dbe3ea..e99ea8f9 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 3c859e0f..ad012a75 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 72bdd404..b8ebf242 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 8b7840a2..4c55c12e 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 d3fdc9b4..d703ee69 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:
  *)