diff -r 8f1effb3745f -r dd9d0aade65e configure --- 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; }