[bpt/coccinelle.git] / globals / flag.ml

let sgrep_mode2 = ref false

let show_misc = ref true

let show_trying = ref false

let track_iso_usage = ref false

let use_glimpse = ref false

let pyoutput = ref "coccilib.output.Console"

(*"Some" value is the path with respect to which the patch should be created*)
let patch = ref (None : string option)

let make_hrule = ref (None : string (*dir*) option)

let currentfile = ref (None : string option)

let current_element = ref ""
Commit	Line	Data
34e49164 C	1	let sgrep_mode2 = ref false
	2
	3	let show_misc = ref true
	4
	5	let show_trying = ref false
	6
	7	let track_iso_usage = ref false
	8
	9	let use_glimpse = ref false
	10
	11	let pyoutput = ref "coccilib.output.Console"
	12
	13	("Some" value is the path with respect to which the patch should be created)
	14	let patch = ref (None : string option)
	15
	16	let make_hrule = ref (None : string (dir) option)
485bce71 C	17
	18	let currentfile = ref (None : string option)
	19
	20	let current_element = ref ""
	21