Pino Toscano
4cc3cc3fbd
mllib: set --debug-gc as common option
...
Move --debug-gc as common option for all the OCaml-based tools, even a
couple of them which didn't have it previously.
As implementation note, make set_debug_gc private to
set_standard_options, as it needed to be moved otherwise, and it is no
more required as public function.
2015-08-31 18:34:37 +02:00
..
2015-08-31 18:34:37 +02:00
2015-08-05 13:01:12 +01:00
2014-01-28 15:04:38 +01:00
2015-05-15 19:08:36 +01:00
2015-05-15 19:08:36 +01:00
2015-05-15 19:08:36 +01:00
2015-05-15 19:08:36 +01:00
2015-05-15 19:08:36 +01:00
2015-07-01 17:17:58 +02:00
2015-05-15 19:08:36 +01:00
2015-05-15 19:08:36 +01:00
2015-05-15 19:08:36 +01:00
2015-05-15 19:08:36 +01:00
2015-05-15 19:08:36 +01:00
2015-05-15 19:08:36 +01:00
2015-05-15 19:08:36 +01:00
2015-05-15 19:08:36 +01:00
2015-05-15 19:08:36 +01:00
2015-05-15 19:08:36 +01:00
2015-07-29 13:47:08 +02:00
2015-05-15 19:08:36 +01:00
2015-05-15 19:08:36 +01:00
2015-05-15 19:08:36 +01:00
2015-05-15 19:08:36 +01:00
2015-05-15 19:08:36 +01:00
2015-05-15 19:08:36 +01:00
2015-05-15 19:08:36 +01:00
2015-05-15 19:08:36 +01:00
2015-05-15 19:08:36 +01:00
2015-05-15 19:08:36 +01:00
2015-05-15 19:08:36 +01:00
2015-05-15 19:08:36 +01:00
2015-05-15 19:08:36 +01:00
2015-05-15 19:08:36 +01:00
2015-05-15 19:08:36 +01:00
2015-05-15 19:08:36 +01:00
2015-05-15 19:08:36 +01:00
2015-05-15 19:08:36 +01:00
2015-07-01 17:17:58 +02:00
2015-05-15 19:08:36 +01:00
2015-05-15 19:08:36 +01:00
2015-06-06 14:21:34 +01:00
2015-05-15 19:08:36 +01:00
2014-09-17 17:31:50 +01:00
2014-09-17 17:31:50 +01:00
2015-08-02 17:33:07 +01:00
2015-06-15 15:42:46 +01:00