diff options
Diffstat (limited to 'admin')
| -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 EMACS = ${top_builddir}/src/emacs emacs = "${EMACS}" -batch --no-site-file --no-site-lisp \ - --eval '(setq max-specpdl-size 5000)' --eval '(setq load-prefer-newer t)' + --eval '(setq load-prefer-newer t)' make_bovine = ${emacs} -l semantic/bovine/grammar -f bovine-batch-make-parser make_wisent = ${emacs} -l semantic/wisent/grammar -f wisent-batch-make-parser |