From 91c2b82b0947eece64df03f9e03d65a27d4ef0bf Mon Sep 17 00:00:00 2001 From: Graydon Hoare Date: Fri, 25 Mar 2011 14:05:38 -0700 Subject: Revert "Bulk-edit compile commands in emacs chatter to point to assumed build/ dir off src root." This reverts commit 846f2e2ba994268725f38c36fa12f1a09f21615c. --- src/boot/fe/parser.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/boot/fe/parser.ml') diff --git a/src/boot/fe/parser.ml b/src/boot/fe/parser.ml index a81bd439..3cf464ca 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: *) -- cgit v1.2.3