diff options
Diffstat (limited to 'admin/grammars')
| -rw-r--r-- | admin/grammars/Makefile.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/admin/grammars/Makefile.in b/admin/grammars/Makefile.in index 4ca88982cde..178c79b7a02 100644 --- a/admin/grammars/Makefile.in +++ b/admin/grammars/Makefile.in | |||
| @@ -35,7 +35,7 @@ unexport EMACSDATA EMACSDOC EMACSLOADPATH EMACSPATH | |||
| 35 | 35 | ||
| 36 | EMACS = ${top_builddir}/src/emacs | 36 | EMACS = ${top_builddir}/src/emacs |
| 37 | emacs = "${EMACS}" -batch --no-site-file --no-site-lisp \ | 37 | emacs = "${EMACS}" -batch --no-site-file --no-site-lisp \ |
| 38 | --eval '(setq max-specpdl-size 5000)' --eval '(setq load-prefer-newer t)' | 38 | --eval '(setq load-prefer-newer t)' |
| 39 | 39 | ||
| 40 | make_bovine = ${emacs} -l semantic/bovine/grammar -f bovine-batch-make-parser | 40 | make_bovine = ${emacs} -l semantic/bovine/grammar -f bovine-batch-make-parser |
| 41 | make_wisent = ${emacs} -l semantic/wisent/grammar -f wisent-batch-make-parser | 41 | make_wisent = ${emacs} -l semantic/wisent/grammar -f wisent-batch-make-parser |