From 4420b6ce4292ae201a95c8ad22a9cc233aa7437a Mon Sep 17 00:00:00 2001
From: Ludovic Court`es
Date: Tue, 11 Jul 2006 14:39:13 +0000
Subject: 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
---
 src/skribilo.in | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

(limited to 'src/skribilo.in')

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
-- 
cgit v1.2.3