diff options
| author | Giovanni Campagna <gcampagna@src.gnome.org> | 2012-04-12 19:43:08 +0200 |
|---|---|---|
| committer | Giovanni Campagna <gcampagna@src.gnome.org> | 2012-04-24 21:20:49 +0200 |
| commit | 47afd87e84cba746bac15b8af6c663f019e45ae0 (patch) | |
| tree | 499b52ad9e4eefc21b060012db005ad4c0f9f165 /.gitignore | |
| parent | 700c06023ee8409ae57458c3ecf77842e9553171 (diff) | |
| download | gnome-shell-47afd87e84cba746bac15b8af6c663f019e45ae0.tar.gz | |
jhbuild wrapper: move performance measurement to a separate tool
Introduce a new gnome-shell-perf-tool, which can be used instead
of the old gnome-shell-jhbuild wrapper to gather data about gnome-shell
performance and submit to shell-perf.gnome.org. This runs the
shell with no extra setup beyond the WM_CLASS filter, so it can
be used for a jhbuild setup or for an installed shell.
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index f6dc70b02..860fc422b 100644 --- a/.gitignore +++ b/.gitignore @@ -68,6 +68,7 @@ src/gnome-shell-extension-prefs src/gnome-shell-hotplug-sniffer src/gnome-shell-jhbuild src/gnome-shell-perf-helper +src/gnome-shell-perf-tool src/gnome-shell-real src/hotplug-sniffer/org.gnome.Shell.HotplugSniffer.service src/run-js-test |