1 files changed, 0 insertions, 6 deletions
diff --git a/configure b/configure
index e136e3c4e..f3972b357 100755
--- a/configure
+++ b/configure
@@ -1272,12 +1272,6 @@ if [ -z "$PLATFORM" ]; then
      QNX:*)
 	PLATFORM=qnx-g++
 	;;
-     dgux:*)
-	PLATFORM=dgux-g++
-	;;
-#     DYNIX/ptx:4*)
-#	PLATFORM=dynix-g++
-#	;;
      ULTRIX:*)
 	PLATFORM=ultrix-g++
 	;;