mirror of
https://git.savannah.gnu.org/git/guile.git
synced 2025-05-01 12:20:26 +02:00
Do not enable debugging and recording of source
positions.
This commit is contained in:
parent
eef6519bde
commit
52ce56fc79
1 changed files with 0 additions and 5 deletions
|
@ -157,8 +157,3 @@ using `trace-stack', you will need to remove it twice."
|
||||||
;;;
|
;;;
|
||||||
;;; XXX - Still needed?
|
;;; XXX - Still needed?
|
||||||
(module-set! the-root-module 'debug-options debug-options)
|
(module-set! the-root-module 'debug-options debug-options)
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
(debug-enable 'debug)
|
|
||||||
(read-enable 'positions)
|
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue