File: gnatdebug

package info (click to toggle)
gnat-gps 5.3dfsg-1
  • links: PTS, VCS
  • area: main
  • in suites: jessie, jessie-kfreebsd
  • size: 50,360 kB
  • ctags: 11,617
  • sloc: ada: 374,346; ansic: 92,327; python: 15,979; xml: 12,186; sh: 3,277; makefile: 1,113; awk: 154; perl: 128; java: 17
file content (18 lines) | stat: -rw-r--r-- 451 bytes parent folder | download 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
 
>&2
DEBUG.COLORS=no
UNEXPECTED_EXCEPTIONS=yes
*.EXCEPTIONS=yes
TESTSUITE=yes
SHELL_DOC=yes
CHECK_COLOR_DEPTH=no

--  Keep traces till the end, in case we get unexpected exceptions in the
--  finalization of GPS
DEBUG.FINALIZE_TRACES=no

--  This trace generates errors in any case where
--  a SQL request is being made (for instance whenever querying
--  a contextual menu) when gnatinspect has not yet had a chance to run.
SQL.ERROR=no

PYTHON.TB=no