diff options
| author | Marvin Borner | 2024-02-24 23:36:24 +0100 |
|---|---|---|
| committer | Marvin Borner | 2024-02-24 23:36:24 +0100 |
| commit | 750eb72589a2da7712ded93e9a5060b2c30c24b5 (patch) | |
| tree | e7bc83c26fbe5f601c147a37010e9ad7c41e11b4 /app | |
| parent | 9cf3e9fc04b8648b6bf21336e88f2a46de6f3f09 (diff) | |
Added verbose mode
Mainly for CI right now, might extend in the future.
Diffstat (limited to 'app')
| -rw-r--r-- | app/Main.hs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/app/Main.hs b/app/Main.hs index 1e22a4b..7e8d6ec 100644 --- a/app/Main.hs +++ b/app/Main.hs @@ -23,6 +23,7 @@ args = Args <$> (mode <|> pure ArgEval) <*> switch (long "yolo" <> short 'y' <> help "Don't run tests") + <*> switch (long "verbose" <> short 'v' <> help "Increase verbosity") <*> strOption (long "target" <> short 't' <> metavar "TARGET" <> value "" <> help "Optimize to target using BLoC and BLoCade" |