summaryrefslogtreecommitdiffstats
path: root/perl_checker.src/flags.ml
blob: 5256831297d0ef140382edd81ffb4fa70a11e906 (plain)
1
2
3
4
open Common

let verbose = ref false
let quiet = ref false