--- loncom/build/distprobe	2003/02/03 18:03:52	1.2
+++ loncom/build/distprobe	2003/04/15 15:25:51	1.3
@@ -11,6 +11,8 @@ if (-e '/etc/redhat-release') {
     my $version=(split(/\s+/,$versionstring))[4];
     if ($version=~/^7\./) {
 	$dist='redhat7';
+    } elsif ($version=~/^8\./) {
+	$dist='redhat8';
     }
 }
 elsif (-e '/etc/debian_version') {