configure
changeset 9119 b3c7c5973771
parent 8934 f46812d21fe6
child 9686 522d788d73f7
--- a/configure	Tue May 06 22:41:28 2008 +0000
+++ b/configure	Tue May 06 22:42:10 2008 +0000
@@ -92,6 +92,7 @@
 		if ($0 == "BEOS"        && "'$os'" != "BEOS")              { next; }
 		if ($0 == "WIN32"       && "'$os'" != "MINGW" &&
 		                "'$os'" != "CYGWIN" && "'$os'" != "MSVC" ) { next; }
+		if ($0 == "MORPHOS"     && "'$os'" != "MORPHOS")           { next; }
 		if ($0 == "WINCE"       && "'$os'" != "WINCE")             { next; }
 		if ($0 == "MSVC"        && "'$os'" != "MSVC")              { next; }
 		if ($0 == "DIRECTMUSIC" && "'$with_direct_music'" == "0")  { next; }