--- loncom/build/distprobe	2003/02/03 18:03:52	1.2
+++ loncom/build/distprobe	2003/07/01 17:55:12	1.4
@@ -11,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') {