diff options
author | Yussuf Khalil <dev@pp3345.net> | 2018-04-29 18:03:40 +0200 |
---|---|---|
committer | Florian Müllner <florian.muellner@gmail.com> | 2018-04-29 16:15:16 +0000 |
commit | 2d6cf236c4974de17c485b4650447fe673a056a9 (patch) | |
tree | b2538e45a53c91b3c7b0b016ec1298b597bddef1 | |
parent | 642107a28f9616b5836d6da3b57d9bfc33acc8d0 (diff) | |
download | gnome-shell-2d6cf236c4974de17c485b4650447fe673a056a9.tar.gz |
perf-tool: Fix default value for --extra-filter
While it is theoretically fine to run --perf=hwtest without passing --hwtest,
the test will hang in this case because it fails to start gedit. Always append
Gedit to the default value for --extra-filter when running the "hwtest" test
to make it work fine without --hwtest.
-rwxr-xr-x | src/gnome-shell-perf-tool.in | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/gnome-shell-perf-tool.in b/src/gnome-shell-perf-tool.in index b2a4521a3..f4b48f730 100755 --- a/src/gnome-shell-perf-tool.in +++ b/src/gnome-shell-perf-tool.in @@ -347,10 +347,10 @@ if options.perf == None: options.perf = 'core' if options.extra_filter is None: - if options.hwtest: - options.extra_filter = ['Gedit'] - else: - options.extra_filter = [] + options.extra_filter = [] + +if options.perf == 'hwtest': + options.extra_filter.append('Gedit') if args: parser.print_usage() |