# HG changeset patch
# User Jim Blandy <jimb@redhat.com>
# Date 722068091 0
# Node ID 1c2f6bc3d8fee6a6ad860dcf0aa9f6ca49db2ffb
# Parent  53422adb945df7558a4591d19f3e17f1af0b2069
	* config.sub: Added Xenix operating system.

diff -r 53422adb945d -r 1c2f6bc3d8fe config.sub
--- a/config.sub	Mon Nov 16 02:00:38 1992 +0000
+++ b/config.sub	Wed Nov 18 06:28:11 1992 +0000
@@ -515,6 +515,9 @@
 	-svr3)
 		os=-sysv3
 		;;
+	-xenix)
+		os=-xenix
+		;;
 	-none)
 		;;
 	*)