--- loncom/build/distprobe	2003/04/15 15:25:51	1.3
+++ loncom/build/distprobe	2003/07/01 17:55:12	1.4
@@ -13,6 +13,8 @@ if (-e '/etc/redhat-release') {
 	$dist='redhat7';
     } elsif ($version=~/^8\./) {
 	$dist='redhat8';
+    } elsif ($version=~/^9/) {
+	$dist='redhat9';
     }
 }
 elsif (-e '/etc/debian_version') {