aboutsummaryrefslogtreecommitdiff
path: root/src/boot/me
diff options
context:
space:
mode:
Diffstat (limited to 'src/boot/me')
-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
14 files changed, 14 insertions, 14 deletions
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:
*)
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-11 07:45:58 +0000