config/config.mk
changeset 2453 3f3774e7e3b4
parent 2445 7000b634ba04
child 2484 d1a8c2ae7946
     1.1 --- a/config/config.mk	Sun May 08 22:57:57 2011 +0200
     1.2 +++ b/config/config.mk	Mon May 09 20:15:39 2011 +0200
     1.3 @@ -118,10 +118,6 @@
     1.4  	    echo "source \"$${file}\"";                                         \
     1.5  	    echo "endif";                                                       \
     1.6  	  done;                                                                 \
     1.7 -	  echo "";                                                              \
     1.8 -	  for file in $(wildcard $(4)/*.in-common); do                          \
     1.9 -	    echo "source \"$${file}\"";                                         \
    1.10 -	  done;                                                                 \
    1.11  	 ) >$(1)
    1.12  	$(SILENT)(echo "# $(2) second part options";                            \
    1.13  	  echo "# Generated file, do not edit!!!";                              \