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 5e814af3..8ea03a63 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 ../.. 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/fe/cexp.ml b/src/boot/fe/cexp.ml index 0f216fc2..a0db6773 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 ../.. 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/fe/extfmt.ml b/src/boot/fe/extfmt.ml index 8b0b149a..6b0bd788 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 ../.. 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/fe/fuzz.ml b/src/boot/fe/fuzz.ml index 2c465be4..d93c3657 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 ../.. 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/fe/item.ml b/src/boot/fe/item.ml index 6cee8796..fce89373 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 ../.. 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/fe/lexer.mll b/src/boot/fe/lexer.mll index b84e5906..40e13141 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 ../.. 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/fe/parser.ml b/src/boot/fe/parser.ml index 3cf464ca..f961bd39 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 ../.. 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/fe/pexp.ml b/src/boot/fe/pexp.ml index c4dcfe1d..06252966 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 ../.. 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/fe/token.ml b/src/boot/fe/token.ml index 7467d4e6..18da8c6d 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 ../.. 2>&1 | sed -e 's/\\/x\\//x:\\//g'"; + * compile-command: "make -k -C $RBUILD 2>&1 | sed -e 's/\\/x\\//x:\\//g'"; * End: *) |