--- loncom/build/distprobe	2002/04/21 16:44:29	1.1
+++ loncom/build/distprobe	2003/07/01 17:55:12	1.4
@@ -1,7 +1,6 @@
 #!/usr/bin/perl
 
 # YEAR=2002
-# 4/21 Scott Harrison
 
 my $dist='default';
 if (-e '/etc/redhat-release') {
@@ -12,6 +11,10 @@ if (-e '/etc/redhat-release') {
     my $version=(split(/\s+/,$versionstring))[4];
     if ($version=~/^7\./) {
 	$dist='redhat7';
+    } elsif ($version=~/^8\./) {
+	$dist='redhat8';
+    } elsif ($version=~/^9/) {
+	$dist='redhat9';
     }
 }
 elsif (-e '/etc/debian_version') {