Skip to content

Commit 86f3671

Browse files
authored
Merge pull request #3201 from terjekv/rhel8_os_map
Fix os_name_map for RHEL8.
2 parents 0016300 + 80504bc commit 86f3671

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

easybuild/tools/systemtools.py

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -563,6 +563,7 @@ def get_os_name():
563563

564564
os_name_map = {
565565
'red hat enterprise linux server': 'RHEL',
566+
'red hat enterprise linux': 'RHEL', # RHEL8 has no server/client
566567
'scientific linux sl': 'SL',
567568
'scientific linux': 'SL',
568569
'suse linux enterprise server': 'SLES',

0 commit comments

Comments
 (0)