summaryrefslogtreecommitdiff
path: root/src/_tags
blob: fe4a756f9dae5c486e3dbcec61e20e3eed1a94c6 (plain) (blame)
1
2
3
true: use_menhir
<*.ml>: debug
<*.byte>: use_unix, debug