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!!!"; \