configure
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; }