aboutsummaryrefslogtreecommitdiff
path: root/src/boot/util/bits.ml
diff options
context:
space:
mode:
authorGraydon Hoare <[email protected]>2011-03-25 14:05:38 -0700
committerGraydon Hoare <[email protected]>2011-03-25 14:05:38 -0700
commit91c2b82b0947eece64df03f9e03d65a27d4ef0bf (patch)
tree8149415e7b553a5f85b1f15eb56cca581373d1aa /src/boot/util/bits.ml
parentBulk-edit compile commands in emacs chatter to point to assumed build/ dir of... (diff)
downloadrust-91c2b82b0947eece64df03f9e03d65a27d4ef0bf.tar.xz
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/util/bits.ml')
-rw-r--r--src/boot/util/bits.ml2
1 files changed, 1 insertions, 1 deletions
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:
*)