Formerly ../configure.in.~24~
authorroland <roland>
Fri, 21 May 1993 18:33:35 +0000 (18:33 +0000)
committerroland <roland>
Fri, 21 May 1993 18:33:35 +0000 (18:33 +0000)
configure.in

index b3cc4f9..ad615ef 100644 (file)
@@ -177,6 +177,9 @@ sysdep_dir=$srcdir/sysdeps
 eval "`echo $config | \
        sed 's/^\(.*\)-\(.*\)-\(.*\)$/machine=\1 vendor=\2 os=\3/'`"
 
+# Make sco3.2v4 become sco3.2.4.
+os="`echo $os | sed 's/\([0-9]\)v\([0-9]\)/\1.\2/g'`"
+
 case "$os" in
 gnu*)
   os=mach/hurd ;;