patches/firefox3-02-preload.diff
author ginnchen
Thu, 18 Dec 2008 04:01:56 +0000
branchgnome-2-24
changeset 14119 16cfbdc15d5b
child 14228 a0c470276115
permissions -rw-r--r--
Fix for CR 6786240
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
14119
16cfbdc15d5b Fix for CR 6786240
ginnchen
parents:
diff changeset
     1
--- firefox/browser/app/mozilla.in.ori3	2007-12-26 15:52:21.578403000 +0800
16cfbdc15d5b Fix for CR 6786240
ginnchen
parents:
diff changeset
     2
+++ firefox/browser/app/mozilla.in	2007-12-26 15:54:06.096894000 +0800
16cfbdc15d5b Fix for CR 6786240
ginnchen
parents:
diff changeset
     3
@@ -131,6 +131,12 @@ do
16cfbdc15d5b Fix for CR 6786240
ginnchen
parents:
diff changeset
     4
   esac
16cfbdc15d5b Fix for CR 6786240
ginnchen
parents:
diff changeset
     5
 done
16cfbdc15d5b Fix for CR 6786240
ginnchen
parents:
diff changeset
     6
 
16cfbdc15d5b Fix for CR 6786240
ginnchen
parents:
diff changeset
     7
+if [ ! -f /tmp/firefox3-preloaded -a -x /usr/lib/gdmprefetch ]
16cfbdc15d5b Fix for CR 6786240
ginnchen
parents:
diff changeset
     8
+then
16cfbdc15d5b Fix for CR 6786240
ginnchen
parents:
diff changeset
     9
+  /usr/lib/gdmprefetch @${dist_bin}/firefox-preload.list
16cfbdc15d5b Fix for CR 6786240
ginnchen
parents:
diff changeset
    10
+  touch /tmp/firefox3-preloaded
16cfbdc15d5b Fix for CR 6786240
ginnchen
parents:
diff changeset
    11
+fi
16cfbdc15d5b Fix for CR 6786240
ginnchen
parents:
diff changeset
    12
+
16cfbdc15d5b Fix for CR 6786240
ginnchen
parents:
diff changeset
    13
 if [ $debugging = 1 ]
16cfbdc15d5b Fix for CR 6786240
ginnchen
parents:
diff changeset
    14
 then
16cfbdc15d5b Fix for CR 6786240
ginnchen
parents:
diff changeset
    15
   echo $dist_bin/run-mozilla.sh $script_args $dist_bin/$MOZILLA_BIN "$@"