configure
changeset 5957 89ca54f5da71
parent 5941 adaea39e84ab
child 6034 7a125490f55c
--- a/configure	Wed Feb 07 21:46:25 2007 +0000
+++ b/configure	Thu Feb 08 11:04:39 2007 +0000
@@ -73,6 +73,7 @@
 		if ($0 == "SDL"         && "'$sdl_config'" == "")          { next; }
 		if ($0 == "OSX"         && "'$os'" != "OSX")               { next; }
 		if ($0 == "OS2"         && "'$os'" != "OS2")               { next; }
+		if ($0 == "PSP"         && "'$os'" != "PSP")               { next; }
 		if ($0 == "DEDICATED"   && "'$enable_dedicated'" != "1")   { next; }
 		if ($0 == "COCOA"       && "'$with_cocoa'" == "0")         { next; }
 		if ($0 == "BEOS"        && "'$os'" != "BEOS")              { next; }