--- 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\""
;;