add: } else if (p == false) { /* not found in the defaults or the explicit paths, * so check the general extra includes; if we find * it here, no need to add another /I for it as we * already have it covered */ p = search_paths(header_name, PHP_EXTRA_INCLUDES, null); 
context: function CHECK_HEADER_ADD_INCLUDE(header_name, flag_name, path_to_check, use_env){	if (use_env == null) {		use_env = true;	}	if (path_to_check == null) {		path_to_check = php_usual_include_suspects;	} else {		path_to_check += ";" + php_usual_include_suspects;	}		var p = search_paths(header_name, path_to_check, use_env ? "INCLUDE" : null);	var have = 0;	var sym;	if (typeof(p) == "string") {		ADD_FLAG(flag_name, '/I "' + p + '" ');		have = 1;	}	sym = header_name.toUpperCase();	sym = sym.replace(new RegExp("[\\\\/\.-]", "g"), "_");	AC_DEFINE("HAVE_" + sym, have);	return p;}
meta: 631	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/631/4ffdb4253ab15b6d52c0250223861c0c9da1cbc8/confutils.js/clean/win32/build/confutils.js