diff options
author | Joey Hess <joey@kitenet.net> | 2013-07-30 20:24:27 -0400 |
---|---|---|
committer | Joey Hess <joey@kitenet.net> | 2013-07-30 20:24:27 -0400 |
commit | 95b50b5e919bccccca3ae666f4d5e9d1418ca396 (patch) | |
tree | 790a8f014cf2e6c4347cfc64b24428688c8f78fd /Types | |
parent | 8b7b8bcd15d3a8bdd237ba0c0a8c0cb3415a07a1 (diff) |
find: Avoid polluting stdout with progress messages. Closes: #718186
Diffstat (limited to 'Types')
-rw-r--r-- | Types/Command.hs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Types/Command.hs b/Types/Command.hs index 4b92ca173..3187efd17 100644 --- a/Types/Command.hs +++ b/Types/Command.hs @@ -39,6 +39,7 @@ data Command = Command , cmdnorepo :: Maybe (IO ()) -- an action to run when not in a repo , cmdcheck :: [CommandCheck] -- check stage , cmdnocommit :: Bool -- don't commit journalled state changes + , cmdnomessages :: Bool -- don't output normal messages , cmdname :: String , cmdparamdesc :: String -- description of params for usage , cmdseek :: [CommandSeek] -- seek stage |