configure
changeset 6208 ff9b5772fb65
parent 6192 c6adfc929c6b
child 6254 abc6ad7c035c
child 6360 37f43b7ce27b
--- 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; }