diff options
author | Gabriel Scherer <gabriel.scherer@gmail.com> | 2020-04-01 21:52:17 +0200 |
---|---|---|
committer | Gabriel Scherer <gabriel.scherer@gmail.com> | 2020-04-02 16:12:21 +0200 |
commit | a86943c88968d3781eff5593d93e5e2b296b154f (patch) | |
tree | d9776d3ac749a6ad60e9cb255356fdbba932d933 /ocamltest/options.mli | |
parent | 9eadd76ed17d289caefc05d7440169f9d3b3f61a (diff) | |
download | ocaml-a86943c88968d3781eff5593d93e5e2b296b154f.tar.gz |
ocamltest: opt-in -keep-test-dir-on-success to keep test data on success
Diffstat (limited to 'ocamltest/options.mli')
-rw-r--r-- | ocamltest/options.mli | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/ocamltest/options.mli b/ocamltest/options.mli index 4d64fdbdea..2047f60ae7 100644 --- a/ocamltest/options.mli +++ b/ocamltest/options.mli @@ -26,3 +26,5 @@ val usage : string val find_test_dirs : string list ref val list_tests : string list ref + +val keep_test_dir_on_success : bool ref |