patches/firefox3-02-preload.diff
author yippi
Mon, 27 Sep 2010 21:07:51 +0000
changeset 20108 51df67ca9307
parent 15299 46abf181f7d3
permissions -rw-r--r--
I had these modules listed as being owned by me, but they are really owned by wangke, correcting.
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
15299
46abf181f7d3 2009-03-04 Ginn Chen <[email protected]>
ginnchen
parents: 14785
diff changeset
     1
--- firefox/build/unix/mozilla.in.ori3	2007-12-26 15:52:21.578403000 +0800
46abf181f7d3 2009-03-04 Ginn Chen <[email protected]>
ginnchen
parents: 14785
diff changeset
     2
+++ firefox/build/unix/mozilla.in	2007-12-26 15:54:06.096894000 +0800
14785
a5e7415416e0 2008-12-17 Ginn Chen <[email protected]>
ginnchen
parents:
diff changeset
     3
@@ -131,6 +131,12 @@ do
a5e7415416e0 2008-12-17 Ginn Chen <[email protected]>
ginnchen
parents:
diff changeset
     4
   esac
a5e7415416e0 2008-12-17 Ginn Chen <[email protected]>
ginnchen
parents:
diff changeset
     5
 done
a5e7415416e0 2008-12-17 Ginn Chen <[email protected]>
ginnchen
parents:
diff changeset
     6
 
a5e7415416e0 2008-12-17 Ginn Chen <[email protected]>
ginnchen
parents:
diff changeset
     7
+if [ ! -f /tmp/firefox3-preloaded -a -x /usr/lib/gdmprefetch ]
a5e7415416e0 2008-12-17 Ginn Chen <[email protected]>
ginnchen
parents:
diff changeset
     8
+then
a5e7415416e0 2008-12-17 Ginn Chen <[email protected]>
ginnchen
parents:
diff changeset
     9
+  /usr/lib/gdmprefetch @${dist_bin}/firefox-preload.list
a5e7415416e0 2008-12-17 Ginn Chen <[email protected]>
ginnchen
parents:
diff changeset
    10
+  touch /tmp/firefox3-preloaded
a5e7415416e0 2008-12-17 Ginn Chen <[email protected]>
ginnchen
parents:
diff changeset
    11
+fi
a5e7415416e0 2008-12-17 Ginn Chen <[email protected]>
ginnchen
parents:
diff changeset
    12
+
a5e7415416e0 2008-12-17 Ginn Chen <[email protected]>
ginnchen
parents:
diff changeset
    13
 if [ $debugging = 1 ]
a5e7415416e0 2008-12-17 Ginn Chen <[email protected]>
ginnchen
parents:
diff changeset
    14
 then
a5e7415416e0 2008-12-17 Ginn Chen <[email protected]>
ginnchen
parents:
diff changeset
    15
   echo $dist_bin/run-mozilla.sh $script_args $dist_bin/$MOZILLA_BIN "$@"