diff -r efa2a83d548b -r b2c2f74d1c93 Admin/polyml/build
--- a/Admin/polyml/build	Tue May 13 22:14:12 2014 +0200
+++ b/Admin/polyml/build	Wed May 14 12:00:18 2014 +0200
@@ -69,9 +69,6 @@
   x86_64-windows)
     OPTIONS=()
     ;;
-  ppc-darwin | sparc-solaris | x86-solaris | x86-bsd)
-    OPTIONS=()
-    ;;
   *)
     fail "Bad platform identifier: \"$TARGET\""
     ;;