config/config.mk
changeset 1178 41a84f7d3b4f
parent 1159 71b6240ea2c0
child 1256 acf1944ef6a4
     1.1 --- a/config/config.mk	Tue Jan 27 20:38:48 2009 +0000
     1.2 +++ b/config/config.mk	Sat Jan 31 11:29:50 2009 +0000
     1.3 @@ -107,6 +107,10 @@
     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  endef
    1.13