From 9d0b766cdaa58b6005637f5b7bd0e770eb8f468e Mon Sep 17 00:00:00 2001 From: telans Date: Fri, 14 Feb 2020 10:55:55 +1300 Subject: [PATCH] build: support Pop!_OS --- build.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/build.sh b/build.sh index 22729bc0..d881dee6 100755 --- a/build.sh +++ b/build.sh @@ -50,7 +50,7 @@ dependencies() { DEPS="{glibc-devel.i686,libstdc++-devel.i686,libX11-devel.i686}" install ;; - *"buntu"|"Linux Mint"|"Debian"|"Zorin OS") + *"buntu"|"Linux Mint"|"Debian"|"Zorin OS"|"Pop!_OS") MANAGER_QUERY="dpkg-query -s" MANAGER_INSTALL="apt install" DEPS="{gcc,g++,gcc-multilib,g++-multilib,ninja-build,python3-pip,python3-setuptools,python3-wheel,pkg-config,mesa-common-dev,libx11-dev:i386}"