changeset 10379 | dd9d0aade65e |
parent 10333 | e10b4216f9ba |
child 10385 | 4f9838649c7f |
--- a/configure Tue Nov 25 19:27:30 2008 +0000 +++ b/configure Tue Nov 25 19:32:12 2008 +0000 @@ -82,6 +82,7 @@ deep += 1; + if ($0 == "ALLEGRO" && "'$allegro_config'" == "") { next; } if ($0 == "SDL" && "'$sdl_config'" == "") { next; } if ($0 == "PNG" && "'$png_config'" == "") { next; } if ($0 == "OSX" && "'$os'" != "OSX") { next; }