repo.or.cz
/
sqlgg.git
/
blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
blame
|
history
|
raw
|
HEAD
test case for #57
[sqlgg.git]
/
src
/
sqlgg_config.ml
blob
e9c3fa0c5da35d0b8d8a5a2edb940e127dec41f1
1
(** *)
2
3
(** Sqlgg version *)
4
let
version
=
Version
.
id
5
6
(** Debug level *)
7
let
debug_level
=
ref
0
8
9
let
set_debug_level
n
=
10
debug_level
:=
n
;
11
if
n
>
1
then
Syntax
.
debug
:=
true
12
13
let
debug1
() = !
debug_level
>
0
14
15
let
gen_header
=
ref
true