chomp($_= `uname -r`); $? and die "platform $?";
m/^\d+\.\d+/ or die "$_ ?";
$platform= "SunOS$&";
$xbindir= '/usr/openwin/bin';
} else {
chomp($_= `uname -r`); $? and die "platform $?";
m/^\d+\.\d+/ or die "$_ ?";
$platform= "SunOS$&";
$xbindir= '/usr/openwin/bin';
} else {