diff options
Diffstat (limited to 'src/boot/fe')
| -rw-r--r-- | src/boot/fe/ast.ml | 2 | ||||
| -rw-r--r-- | src/boot/fe/cexp.ml | 2 | ||||
| -rw-r--r-- | src/boot/fe/extfmt.ml | 2 | ||||
| -rw-r--r-- | src/boot/fe/fuzz.ml | 2 | ||||
| -rw-r--r-- | src/boot/fe/item.ml | 2 | ||||
| -rw-r--r-- | src/boot/fe/lexer.mll | 2 | ||||
| -rw-r--r-- | src/boot/fe/parser.ml | 2 | ||||
| -rw-r--r-- | src/boot/fe/pexp.ml | 2 | ||||
| -rw-r--r-- | src/boot/fe/token.ml | 2 |
9 files changed, 9 insertions, 9 deletions
diff --git a/src/boot/fe/ast.ml b/src/boot/fe/ast.ml index af73c6d0..5e814af3 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 ../../../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/fe/cexp.ml b/src/boot/fe/cexp.ml index 8910b77b..0f216fc2 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 ../../../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/fe/extfmt.ml b/src/boot/fe/extfmt.ml index 2083a03f..8b0b149a 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 ../../../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/fe/fuzz.ml b/src/boot/fe/fuzz.ml index 01ce04d4..2c465be4 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 ../../../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/fe/item.ml b/src/boot/fe/item.ml index ccf2a3d4..6cee8796 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 ../../../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/fe/lexer.mll b/src/boot/fe/lexer.mll index badfcad8..b84e5906 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 ../../../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/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: *) diff --git a/src/boot/fe/pexp.ml b/src/boot/fe/pexp.ml index 0e3d9df2..c4dcfe1d 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 ../../../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/fe/token.ml b/src/boot/fe/token.ml index c2278606..7467d4e6 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 ../../../build 2>&1 | sed -e 's/\\/x\\//x:\\//g'"; + * compile-command: "make -k -C ../.. 2>&1 | sed -e 's/\\/x\\//x:\\//g'"; * End: *) |