diff options
| author | Roman Smrž <roman.smrz@seznam.cz> | 2026-01-20 21:49:22 +0100 |
|---|---|---|
| committer | Roman Smrž <roman.smrz@seznam.cz> | 2026-01-20 21:49:22 +0100 |
| commit | 7e57c8fddac5c9310efb49d4bc8003659b9e68b4 (patch) | |
| tree | 2b48ee31e2fa4a7add0308540b38737a126c236e /src/Run | |
| parent | 5eb83b2a5485f5f735eb77f277819e42e39e8c56 (diff) | |
Changelog: Added comman-line options to set path of tcpdump or disable its use
Diffstat (limited to 'src/Run')
| -rw-r--r-- | src/Run/Monad.hs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/Run/Monad.hs b/src/Run/Monad.hs index f506b62..7a1d3c5 100644 --- a/src/Run/Monad.hs +++ b/src/Run/Monad.hs @@ -63,6 +63,7 @@ data TestOptions = TestOptions , optProcTools :: [(ProcName, String)] , optTestDir :: FilePath , optTimeout :: Scientific + , optTcpdump :: Maybe FilePath , optGDB :: Bool , optForce :: Bool , optKeep :: Bool @@ -75,6 +76,7 @@ defaultTestOptions = TestOptions , optProcTools = [] , optTestDir = ".test" , optTimeout = 1 + , optTcpdump = Nothing , optGDB = False , optForce = False , optKeep = False |