configure
changeset 6901 ad8e8b93060d
parent 6811 b8a89042096a
child 7294 b53e8aae866c
equal deleted inserted replaced
6900:ee9fd6a32e77 6901:ad8e8b93060d
    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 == "SDL"         && "'$sdl_config'" == "")          { next; }
    85 		if ($0 == "SDL"         && "'$sdl_config'" == "")          { next; }
       
    86 		if ($0 == "PNG"         && "'$png_config'" == "")          { next; }
    86 		if ($0 == "OSX"         && "'$os'" != "OSX")               { next; }
    87 		if ($0 == "OSX"         && "'$os'" != "OSX")               { next; }
    87 		if ($0 == "OS2"         && "'$os'" != "OS2")               { next; }
    88 		if ($0 == "OS2"         && "'$os'" != "OS2")               { next; }
    88 		if ($0 == "PSP"         && "'$os'" != "PSP")               { next; }
    89 		if ($0 == "PSP"         && "'$os'" != "PSP")               { next; }
    89 		if ($0 == "DEDICATED"   && "'$enable_dedicated'" != "1")   { next; }
    90 		if ($0 == "DEDICATED"   && "'$enable_dedicated'" != "1")   { next; }
    90 		if ($0 == "COCOA"       && "'$with_cocoa'" == "0")         { next; }
    91 		if ($0 == "COCOA"       && "'$with_cocoa'" == "0")         { next; }