diff options
| author | Robert Norton | 2017-04-21 12:41:17 +0100 |
|---|---|---|
| committer | Robert Norton | 2017-04-21 12:41:17 +0100 |
| commit | e258d0337c27701f09dc1e6d8180ef95078c230a (patch) | |
| tree | f58eb95c6445d7ff578e8a1ea494911390f6610c /src/util.mli | |
| parent | 2a6217cb384fa16908147556e2bead90149821c9 (diff) | |
add make variable for setting ocaml compilation options (e.g. set to -p to enable gprof profiling)
Diffstat (limited to 'src/util.mli')
0 files changed, 0 insertions, 0 deletions