reset title
This commit is contained in:
parent
2100a0349a
commit
48b4626af2
|
@ -13,6 +13,8 @@ ensureProperty = catchDefaultIO FailedChange . propertySatisfy
|
||||||
ensureProperties :: [Property] -> IO ()
|
ensureProperties :: [Property] -> IO ()
|
||||||
ensureProperties ps = do
|
ensureProperties ps = do
|
||||||
r <- ensureProperties' [Property "overall" $ ensureProperties' ps]
|
r <- ensureProperties' [Property "overall" $ ensureProperties' ps]
|
||||||
|
setTitle "propellor done"
|
||||||
|
hFlush stdout
|
||||||
case r of
|
case r of
|
||||||
FailedChange -> exitWith (ExitFailure 1)
|
FailedChange -> exitWith (ExitFailure 1)
|
||||||
_ -> exitWith ExitSuccess
|
_ -> exitWith ExitSuccess
|
||||||
|
|
Loading…
Reference in New Issue