Install php-cli instead of php on Debian/Ubuntu in build instructions…

… as suggested by @cavallium.
ConfDev · Nov 14, 2020 · 94fc06c · 94fc06c
1 parent 583a8f4
commit 94fc06c
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/build.html b/build.html
@@ -645,9 +645,9 @@
         commands.push(sudo + 'apt-get upgrade');
         var packages = 'make git zlib1g-dev libssl-dev gperf';
         if (linux_distro === 'Ubuntu 14' || linux_distro === 'Debian 8') {
-          packages += ' php5';
+          packages += ' php5-cli';
         } else {
-          packages += ' php';
+          packages += ' php-cli';
         }
         if (linux_distro === 'Ubuntu 14') {
           packages += ' cmake3';