diff options
| author | Ludovic Court`es | 2006-07-11 14:39:13 +0000 |
|---|---|---|
| committer | Ludovic Court`es | 2006-07-11 14:39:13 +0000 |
| commit | 4420b6ce4292ae201a95c8ad22a9cc233aa7437a (patch) | |
| tree | 1ab81fc3f54ae70d20f6afb4e638fda86ba9441d /src/skribilo.in | |
| parent | 6e7e437baa733554af1f452ad6c1d28f6702675f (diff) | |
| download | skribilo-4420b6ce4292ae201a95c8ad22a9cc233aa7437a.tar.gz skribilo-4420b6ce4292ae201a95c8ad22a9cc233aa7437a.tar.lz skribilo-4420b6ce4292ae201a95c8ad22a9cc233aa7437a.zip | |
By default, use (internally) a reader that does not record positions.
* src/guile/skribilo/utils/syntax.scm (%skribilo-module-reader): If
debugging is not required (default), create a reader that does not
record positions.
* src/skribilo.in: Don't pass `--debug' by default.
git-archimport-id: lcourtes@laas.fr--2005-libre/skribilo--devo--1.2--patch-4
Diffstat (limited to 'src/skribilo.in')
| -rwxr-xr-x | src/skribilo.in | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/src/skribilo.in b/src/skribilo.in index 7d3a78d..90bde51 100755 --- a/src/skribilo.in +++ b/src/skribilo.in @@ -26,10 +26,13 @@ # `--debug' had not been passed, not displaying a stack trace. See # http://lists.gnu.org/archive/html/guile-devel/2006-01/msg00022.html # for details. +# +# In any case, don't pass `--debug' by default (for performance +# reason). When needed, the use should explicitly set the `GUILE' +# environment variable to, e.g., "guile --debug". main='(module-ref (resolve-module '\''(skribilo)) '\'main')' -exec ${GUILE-@GUILE@} --debug \ - -c " +exec ${GUILE-@GUILE@} -c " (use-modules (skribilo condition)) (call-with-skribilo-error-catch |