--- gvpe/mkdistro	2003/10/17 01:33:37	1.3
+++ gvpe/mkdistro	2003/10/17 01:39:12	1.4
@@ -44,6 +44,9 @@
       HOST=vm
       CONFIGURE="$CONFIGURE --enable-icmp"
    ;;
+   * )
+      exit 1
+   ;;
 esac
 
 make distdir="$TARGET/vpe" distdir