On Wed, Sep 11, 2013 at 05:24:55PM +0200, Kevin Wolf wrote:
> In config-host.make we do get:
>
> CONFIG_COROUTINE_POOL=0
>
> But when config-host.h is generated from it, I assume it's only checked
> if the variable is defined, so we end up with:
>
> #define CONFIG_COROUTINE_POOL 1
Did you clean your tree?
$ rm -rf *
$ ../../configure --disable-coroutine-pool
$ make config-host.h
$ grep COROUTINE_POOL config-host.h
#define CONFIG_COROUTINE_POOL 0
And scripts/create_config seems to take the value into account:
CONFIG_*=*) # configuration
name=${line%=*}
value=${line#*=}
echo "#define $name $value"
;;
--
Gabriel
