diff options
Diffstat (limited to 'pgo_fix_missing_kdejs.patch')
-rw-r--r-- | pgo_fix_missing_kdejs.patch | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/pgo_fix_missing_kdejs.patch b/pgo_fix_missing_kdejs.patch new file mode 100644 index 000000000000..e757da6ce938 --- /dev/null +++ b/pgo_fix_missing_kdejs.patch @@ -0,0 +1,10 @@ +--- mozilla-release/browser/app/Makefile.in 2015-04-23 09:20:26.806627368 +0200 ++++ mozilla-release/browser/app/Makefile.in 2015-04-23 09:07:04.000000000 +0200 +@@ -79,6 +79,7 @@ + libs:: $(srcdir)/profile/channel-prefs.js + $(NSINSTALL) -D $(DIST)/bin/defaults/pref + $(call py_action,preprocessor,-Fsubstitution $(PREF_PPFLAGS) $(ACDEFINES) $^ -o $(DIST)/bin/defaults/pref/channel-prefs.js) ++ cp $(topsrcdir)/../kde.js $(DIST)/bin/defaults/pref/kde.js + endif + + ifeq (cocoa,$(MOZ_WIDGET_TOOLKIT)) |