From 096be61e34c987fb0c6440b43fb7bfaf65694e81 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fran=C3=A7ois=20Bobot?= <francois.bobot@cea.fr>
Date: Thu, 7 Jan 2021 21:47:26 +0100
Subject: [PATCH] Remove default limit
---
src/bin/options.ml | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/bin/options.ml b/src/bin/options.ml
index 64cf63688..d3c22b63d 100644
--- a/src/bin/options.ml
+++ b/src/bin/options.ml
@@ -240,13 +240,13 @@ let state =
let doc = "Stop the program after a time lapse of $(docv).
Accepts usual suffixes for durations : s,m,h,d.
Without suffix, default to a time in seconds." in
- Arg.(value & opt c_time 300. & info ["t"; "time"] ~docv:"TIME" ~doc ~docs)
+ Arg.(value & opt c_time infinity & info ["t"; "time"] ~docv:"TIME" ~doc ~docs)
in
let size =
let doc = "Stop the program if it tries and use more the $(docv) memory space. " ^
"Accepts usual suffixes for sizes : k,M,G,T. " ^
"Without suffix, default to a size in octet." in
- Arg.(value & opt c_size 1_000_000_000. & info ["s"; "size"] ~docv:"SIZE" ~doc ~docs)
+ Arg.(value & opt c_size infinity & info ["s"; "size"] ~docv:"SIZE" ~doc ~docs)
in
let in_lang =
let doc = Format.asprintf
--
GitLab