kconfig: use $K64BIT to set 64BIT with all*config targets
[linux-flexiantxendom0-natty.git] / scripts / kconfig / conf.c
index a38787a..c6bee85 100644 (file)
@@ -591,6 +591,7 @@ int main(int ac, char **av)
                        conf_read_simple(name, S_DEF_USER);
                else if (!stat("all.config", &tmpstat))
                        conf_read_simple("all.config", S_DEF_USER);
+               conf_set_env_sym("K64BIT", "64BIT", S_DEF_USER);
                break;
        default:
                break;