+++ /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
- ]