When reading commands from a file, handle also Arg.Set parameters, so
they can be enabled as well.
---
generator/customize.ml | 1 +
1 file changed, 1 insertion(+)
diff --git a/generator/customize.ml b/generator/customize.ml
index 4844681..1c9092b 100644
--- a/generator/customize.ml
+++ b/generator/customize.ml
@@ -696,6 +696,7 @@ pr " ] in
(match spec with
| Arg.Unit fn -> fn ()
| Arg.String fn -> fn arg
+ | Arg.Set varref -> varref := true
| _ -> error \"INTERNAL error: spec not handled for %%s\" cmd
)
with Not_found ->
--
1.9.3