From c400e2b11cd5bfe7bd19def3e10318338f8db224 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Roman=20Smr=C5=BE?= <roman.smrz@seznam.cz>
Date: Tue, 18 Apr 2023 20:37:00 +0200
Subject: Command-line option to keep test directory

---
 src/Run/Monad.hs | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src/Run')

diff --git a/src/Run/Monad.hs b/src/Run/Monad.hs
index 5b55897..1036749 100644
--- a/src/Run/Monad.hs
+++ b/src/Run/Monad.hs
@@ -53,6 +53,7 @@ data TestOptions = TestOptions
     , optTimeout :: Scientific
     , optGDB :: Bool
     , optForce :: Bool
+    , optKeep :: Bool
     }
 
 defaultTestOptions :: TestOptions
@@ -63,6 +64,7 @@ defaultTestOptions = TestOptions
     , optTimeout = 1
     , optGDB = False
     , optForce = False
+    , optKeep = False
     }
 
 data Failed = Failed
-- 
cgit v1.2.3