configure
branchgamebalance
changeset 9913 e79cd19772dd
parent 9912 1ac8aac92385
child 7790 73f48009ce0c
equal deleted inserted replaced
9912:1ac8aac92385 9913:e79cd19772dd
    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; }