--- /dev/null
+--- mozilla/configure.orig 2014-04-24 18:27:27.000000000 +0200
++++ mozilla/configure 2014-05-11 15:43:20.989605097 +0200
+@@ -1091,9 +1091,6 @@
+ files = [
+ EOF
+
+-for out in ; do
+- echo " '$out'," >> $CONFIG_STATUS
+-done
+
+ cat >> $CONFIG_STATUS <<\EOF
+ ]
Source5: %{name}.sh
Patch0: %{name}-branding.patch
Patch1: %{name}-enigmail-shared.patch
+Patch2: %{name}-sh.patch
Patch3: %{name}-fonts.patch
Patch6: %{name}-prefs.patch
Patch7: system-mozldap.patch
/bin/sh %{SOURCE3}
%patch0 -p1
%{?with_enigmail:%patch1 -p1}
+%patch2 -p1
%patch3 -p1
%patch6 -p1
%patch7 -p1