| 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:
|
|
|