From 0bf71e15dbc714da1c177b24814324aecaf68b72 Mon Sep 17 00:00:00 2001 From: levlam Date: Tue, 12 Jul 2022 20:26:44 +0300 Subject: [PATCH] Add Ubuntu 22 to the list of Linux distros. --- build.html | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/build.html b/build.html index d43e23a..035a176 100644 --- a/build.html +++ b/build.html @@ -207,6 +207,7 @@ +

@@ -493,6 +494,8 @@ function onOptionsChanged() { return '-6.0'; case 'Ubuntu 20': return '-10'; + case 'Ubuntu 22': + return '-14'; default: return ''; // use default version } @@ -534,6 +537,7 @@ function onOptionsChanged() { case 'Ubuntu 16': case 'Ubuntu 18': case 'Ubuntu 20': + case 'Ubuntu 22': if (linux_distro.includes('Debian') && !use_root) { commands.push('su -'); } @@ -550,7 +554,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' || linux_distro === 'Ubuntu 22') { packages += ' libc++abi-dev'; } } else {