config/config.mk
changeset 1256 acf1944ef6a4
parent 1178 41a84f7d3b4f
child 1269 17e37102a037
     1.1 --- a/config/config.mk	Sat Jan 31 11:29:50 2009 +0000
     1.2 +++ b/config/config.mk	Wed Mar 11 20:56:27 2009 +0000
     1.3 @@ -94,8 +94,8 @@
     1.4  	    else                                                                \
     1.5  	      echo "\"";                                                        \
     1.6  	    fi;                                                                 \
     1.7 +	    echo "";                                                            \
     1.8  	  done;                                                                 \
     1.9 -	  echo "";                                                              \
    1.10  	  echo "endchoice";                                                     \
    1.11  	  for entry in $(5); do                                                 \
    1.12  	    file="$(4)/$${entry}.in";                                           \