Index: third_party/WebKit/Tools/Scripts/webkitpy/layout_tests/views/printing.py |
diff --git a/third_party/WebKit/Tools/Scripts/webkitpy/layout_tests/views/printing.py b/third_party/WebKit/Tools/Scripts/webkitpy/layout_tests/views/printing.py |
index 95202d5f5192eb27e7c27509c077981344d66c9c..ba9af8027b262cc5a48754a11f3f97caff0d16ca 100644 |
--- a/third_party/WebKit/Tools/Scripts/webkitpy/layout_tests/views/printing.py |
+++ b/third_party/WebKit/Tools/Scripts/webkitpy/layout_tests/views/printing.py |
@@ -80,6 +80,8 @@ class Printer(object): |
self._print_default("Test configuration: %s" % self._port.test_configuration()) |
self._print_default("View the test results at file://%s/results.html" % results_directory) |
self._print_default("View the archived results dashboard at file://%s/dashboard.html" % results_directory) |
+ if self._options.order == 'random': |
+ self._print_default("Using random order with seed: %d" % self._options.seed) |
# FIXME: should these options be in printing_options? |
if self._options.new_baseline: |