configure
changeset 10379 dd9d0aade65e
parent 10333 e10b4216f9ba
child 10385 4f9838649c7f
equal deleted inserted replaced
10378:8f1effb3745f 10379:dd9d0aade65e
    80 
    80 
    81 		if (deep != skip) { deep += 1; next; }
    81 		if (deep != skip) { deep += 1; next; }
    82 
    82 
    83 		deep += 1;
    83 		deep += 1;
    84 
    84 
       
    85 		if ($0 == "ALLEGRO"     && "'$allegro_config'" == "")      { next; }
    85 		if ($0 == "SDL"         && "'$sdl_config'" == "")          { next; }
    86 		if ($0 == "SDL"         && "'$sdl_config'" == "")          { next; }
    86 		if ($0 == "PNG"         && "'$png_config'" == "")          { next; }
    87 		if ($0 == "PNG"         && "'$png_config'" == "")          { next; }
    87 		if ($0 == "OSX"         && "'$os'" != "OSX")               { next; }
    88 		if ($0 == "OSX"         && "'$os'" != "OSX")               { next; }
    88 		if ($0 == "OS2"         && "'$os'" != "OS2")               { next; }
    89 		if ($0 == "OS2"         && "'$os'" != "OS2")               { next; }
    89 		if ($0 == "PSP"         && "'$os'" != "PSP")               { next; }
    90 		if ($0 == "PSP"         && "'$os'" != "PSP")               { next; }