diff -r 7000b634ba04 -r 3f3774e7e3b4 config/config.mk
--- a/config/config.mk	Sun May 08 22:57:57 2011 +0200
+++ b/config/config.mk	Mon May 09 20:15:39 2011 +0200
@@ -118,10 +118,6 @@
 	    echo "source \"$${file}\"";                                         \
 	    echo "endif";                                                       \
 	  done;                                                                 \
-	  echo "";                                                              \
-	  for file in $(wildcard $(4)/*.in-common); do                          \
-	    echo "source \"$${file}\"";                                         \
-	  done;                                                                 \
 	 ) >$(1)
 	$(SILENT)(echo "# $(2) second part options";                            \
 	  echo "# Generated file, do not edit!!!";                              \