Make sure to catch UnixWare 7, even if the version is 7.1.1 or

something like that.

diff --git a/config b/config
index 0155a6ac839daf2e90988268c968a6c018add1db..f57969bb44439fff7c8eae837800ef14cb24c666 100755 (executable)
--- a/config
+++ b/config
@@ -61,7 +61,7 @@ if [ "x$XREL" != "x" ]; then
                echo "whatever-whatever-unixware1"; exit 0
                ;;
            5)
-               if [ "x$VERSION" = "x7" ]; then
+               if [ "`echo x$VERSION | sed -e 's/\..*//'`" = "x7" ]; then
                    echo "${MACHINE}-sco-unixware7"; exit 0
                fi
                ;;