diff --git a/build.html b/build.html index f63ad6b..7e845f0 100644 --- a/build.html +++ b/build.html @@ -34,9 +34,8 @@ select.large { font-size: large; } - - - + + @@ -338,9 +337,8 @@ function onOptionsChanged() { packages += ' ' + cmake; commands.push(sudo + 'yum install -y ' + packages); break; - case 'Debian 8': - case 'Debian 9': - case 'Debian 10': + case 'Debian 8/9': + case 'Debian 10+': case 'Ubuntu 14': case 'Ubuntu 16': case 'Ubuntu 18': @@ -361,7 +359,7 @@ function onOptionsChanged() { } if (use_clang) { packages += ' clang' + getClangVersionSuffix() + ' libc++-dev'; - if (linux_distro === 'Debian 10' || linux_distro === 'Ubuntu 18' || linux_distro === 'Ubuntu 20') { + if (linux_distro === 'Debian 10+' || linux_distro === 'Ubuntu 18' || linux_distro === 'Ubuntu 20') { packages += ' libc++abi-dev'; } } else {