diff options
| author | Colin Walters <walters@verbum.org> | 2011-02-17 17:07:13 -0500 |
|---|---|---|
| committer | Colin Walters <walters@verbum.org> | 2011-03-01 09:51:06 -0500 |
| commit | 7fc6a3670ccb0b03094e12e6ee19bf01b0030721 (patch) | |
| tree | 231fd3f6357e6745e0f6cebff308b4667ffc8083 /.gitignore | |
| parent | 70fbfea5f50c05302acc51550168379cb2ed79d7 (diff) | |
| download | gnome-shell-7fc6a3670ccb0b03094e12e6ee19bf01b0030721.tar.gz | |
Add a configure option --enable-jhbuild-wrapper-script
The current gnome-shell.in script has a huge amount of
unnecessary complexity for the installed, normal case. Fix
this by adding a configure option (defaulting to false) that
installs a simple, obvious wrapper script around mutter.
We do change the gnome-shell build setup to pass this option
by default for jhbuild.
https://bugzilla.gnome.org/show_bug.cgi?id=642084
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index e01f1ea24..035bfce28 100644 --- a/.gitignore +++ b/.gitignore @@ -42,6 +42,9 @@ src/Makefile src/Makefile.in src/gnomeshell-taskpanel src/gnome-shell +src/gnome-shell-extension-tool +src/gnome-shell-installed +src/gnome-shell-jhbuild src/run-js-test src/test-recorder src/test-recorder.ogg |