config/config.mk
changeset 1870 a4c4e51aa541
parent 1868 89f16f038b92
child 1877 b579a5cb53d1
     1.1 --- a/config/config.mk	Mon Mar 29 12:06:58 2010 +0200
     1.2 +++ b/config/config.mk	Mon Mar 29 20:24:50 2010 +0200
     1.3 @@ -103,12 +103,12 @@
     1.4  	    echo "if $(3)_$${_entry}";                                          \
     1.5  	    echo "config $(3)";                                                 \
     1.6  	    echo "    default \"$${entry}\" if $(3)_$${_entry}";                \
     1.7 -	    echo "source $${file}";                                             \
     1.8 +	    echo "source \"$${file}\"";                                         \
     1.9  	    echo "endif";                                                       \
    1.10  	  done;                                                                 \
    1.11  	  echo "";                                                              \
    1.12  	  for file in $(wildcard $(4)/*.in-common); do                          \
    1.13 -	    echo "source $${file}";                                             \
    1.14 +	    echo "source \"$${file}\"";                                         \
    1.15  	  done;                                                                 \
    1.16  	 ) >$(1)
    1.17  endef
    1.18 @@ -138,7 +138,7 @@
    1.19  	      echo "    $${dep_val#\# }";                                       \
    1.20  	    fi;                                                                 \
    1.21  	    echo "if $(3)_$${_entry}";                                          \
    1.22 -	    echo "source $${file}";                                             \
    1.23 +	    echo "source \"$${file}\"";                                         \
    1.24  	    echo "endif";                                                       \
    1.25  	    echo "";                                                            \
    1.26  	  done;                                                                 \