summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorThibault Saunier <thibault.saunier@collabora.com>2012-07-02 09:44:45 -0400
committerThibault Saunier <thibault.saunier@collabora.com>2012-07-02 09:44:45 -0400
commit2f1ab1fefa139eed6dc34f817cb1339596ed8150 (patch)
tree309e605c9c8e5d202c7d9a76dcfcc4777d185948
parenta09748e0d5e512b68d016dec2f5abe0f2fc0c212 (diff)
bin: Always activate the terminal redirection monitor
-rwxr-xr-xbin/insanity-run10
1 files changed, 2 insertions, 8 deletions
diff --git a/bin/insanity-run b/bin/insanity-run
index 0ab8914..9b1e48c 100755
--- a/bin/insanity-run
+++ b/bin/insanity-run
@@ -127,11 +127,6 @@ class OptionParser(optparse.OptionParser):
help="add a valgrind suppression file to use",
metavar="SUPP",
default=None)
- self.add_option("--terminal-redirection",
- dest="redirect_terminal",
- action="store_true",
- help="Redirects stdout and stderr of the remote instance to a file",
- default=None)
self.add_option("--compress-output-files",
dest="compress_output",
action="store_true",
@@ -294,9 +289,8 @@ def main():
monitors.append((ValgrindMemCheckMonitor,
{"suppression-files":options.supp}))
- if options.redirect_terminal:
- monitors.append((TerminalRedirectionMonitor,
- {"compress-outputfiles":options.compress_output}))
+ monitors.append((TerminalRedirectionMonitor,
+ {"compress-outputfiles":options.compress_output}))
test_arguments = {}
for arg_name, gen_name, gen_args in options.args or []: