[gnome-shell] Add commented out workaround for #571240

[Owen Taylor <otaylor src gnome org>]

commit bd2fecc222acbe6785fcbb1c892bab06099b96ba
Author: Owen W. Taylor <otaylor fishsoup net>
Date:   Sat Mar 14 18:19:58 2009 -0400

    Add commented out workaround for #571240
    
    jhbuildrc-gnome-shell: Remove obsolete setting of
       os.environ['INSTALL'] - setting installprog is the modern way
       to do it.
    jhbuildrc-custom-example: Show how to override installprog to
      work around #571240 on Arch Linux.
---
 tools/build/jhbuildrc-custom-example |    5 +++++
 tools/build/jhbuildrc-gnome-shell    |    3 ---
 2 files changed, 5 insertions(+), 3 deletions(-)

diff --git a/tools/build/jhbuildrc-custom-example b/tools/build/jhbuildrc-custom-example
index 41e530f..837d24e 100644
--- a/tools/build/jhbuildrc-custom-example
+++ b/tools/build/jhbuildrc-custom-example
@@ -11,3 +11,8 @@
 # Directory where to install
 #
 #prefix = '/opt/gnome-shell/install'
+
+# Work around http://bugzilla.gnome.org/show_bug.cgi?id=571240 if
+# your 'install' program is somewhere other than /usr/bin/install
+# (affects: Arch Linux)
+#installprog = 'bin/install'
diff --git a/tools/build/jhbuildrc-gnome-shell b/tools/build/jhbuildrc-gnome-shell
index ccee3d3..19d7891 100644
--- a/tools/build/jhbuildrc-gnome-shell
+++ b/tools/build/jhbuildrc-gnome-shell
@@ -58,9 +58,6 @@ if _pkgconfig.returncode == 0:
     if os.path.exists(_libdir + '/libmozjs.so'):
         addpath('LD_LIBRARY_PATH', _libdir)
 
-# Rebuild faster
-os.environ['INSTALL'] = os.path.expanduser('~/bin/install-check')
-
 # Import optional user RC for further customization. You can override
 # the prefix or default build setup for example, or CFLAGS or
 # module_autogenargs, etc.