diff -r 71b6240ea2c0 -r 41a84f7d3b4f config/config.mk --- a/config/config.mk Tue Jan 27 20:38:48 2009 +0000 +++ b/config/config.mk Sat Jan 31 11:29:50 2009 +0000 @@ -107,6 +107,10 @@ echo "source $${file}"; \ echo "endif"; \ done; \ + echo ""; \ + for file in $(wildcard $(4)/*.in-common); do \ + echo "source $${file}"; \ + done; \ ) >$(1) endef