case set_no: case set_mod: case set_yes: case set_random: name = getenv("KCONFIG_ALLCONFIG"); if (name && !stat(name, &tmpstat)) { conf_read_simple(name); break; } switch (input_mode) { case set_no:	 name = "allno.config"; break; case set_mod:	 name = "allmod.config"; break; case set_yes:	 name = "allyes.config"; break; case set_random: name = "allrandom.config"; break; default: break; } if (!stat(name, &tmpstat)) conf_read_simple(name); else if (!stat("all.config", &tmpstat)) conf_read_simple("all.config"); break; 
int main(int ac, char **av){	int i = 1;	const char *name;	struct stat tmpstat;	if (ac > i && av[i][0] == '-') {		switch (av[i++][1]) {		case 'o':			input_mode = ask_new;			break;		case 's':			input_mode = ask_silent;			valid_stdin = isatty(0) && isatty(1) && isatty(2);			break;		case 'd':			input_mode = set_default;			break;		case 'D':			input_mode = set_default;			defconfig_file = av[i++];			if (!defconfig_file) {				printf(_("%s: No default config file specified\n"),					av[0]);				exit(1);			}			break;		case 'n':			input_mode = set_no;			break;		case 'm':			input_mode = set_mod;			break;		case 'y':			input_mode = set_yes;			break;		case 'r':			input_mode = set_random;			srandom(time(NULL));			break;		case 'h':		case '?':			printf("%s [-o|-s] config\n", av[0]);			exit(0);		}	}  	name = av[i];	if (!name) {		printf(_("%s: Kconfig file missing\n"), av[0]);	}	conf_parse(name);	//zconfdump(stdout);	switch (input_mode) {	case set_default:		if (!defconfig_file)			defconfig_file = conf_get_default_confname();		if (conf_read(defconfig_file)) {			printf("***\n"				"*** Can't find default configuration \"%s\"!\n"				"***\n", defconfig_file);			exit(1);		}		break;	case ask_silent:		if (stat(".config", &tmpstat)) {			printf(_("***\n"				"*** You have not yet configured your kernel!\n"				"***\n"				"*** Please run some configurator (e.g. \"make oldconfig\" or\n"				"*** \"make menuconfig\" or \"make xconfig\").\n"				"***\n"));			exit(1);		}	case ask_all:	case ask_new:		conf_read(NULL);		break;	default:		break;	}	if (input_mode != ask_silent) {		rootEntry = &rootmenu;		conf(&rootmenu);		if (input_mode == ask_all) {			input_mode = ask_silent;			valid_stdin = 1;		}	}	do {		conf_cnt = 0;		check_conf(&rootmenu);	} while (conf_cnt);	if (conf_write(NULL)) {		fprintf(stderr, _("\n*** Error during writing of the kernel configuration.\n\n"));		return 1;	}	return 0;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/90389160efc2864501ced6e662f9419eb7a3e6c8/conf.c/buggy/scripts/kconfig/conf.c