Verified Commit 549e854a authored by Camil Staps's avatar Camil Staps 🚀

When -r and -P OutputTestEvents are given, don't output anything except test...

When -r and -P OutputTestEvents are given, don't output anything except test events (this allows to easily use of testproperties as a runner of cleantest)
parent cff0bb87
......@@ -96,6 +96,9 @@ Start w
# opts = parseOptions optionDescription args {defaultOptions & clean_home=clean_home}
| isError opts = exit (join "\n" $ fromError opts) {defaultOptions & color=False} w
# opts = fromOk opts
# opts = if (opts.run && isMember "OutputTestEvents" opts.print_options)
{opts & verbosity=0, clm_args=["-ms":opts.clm_args]}
opts
# (modules,w) = case opts.modules of
[_:_] -> (Ok [opts.Options.directory </> replaceSubString "." {pathSeparator} mod +++ ".dcl" \\ mod <- opts.modules], w)
[] -> findModules opts.Options.directory w
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment