Dont install useless php extension

This commit is contained in:
Matias De lellis
2020-04-24 11:57:07 -03:00
parent 3e050a4772
commit d3b91453bb
+1 -1
View File
@@ -15,7 +15,7 @@ before_install:
- wget -qO - https://repo.delellis.com.ar/repo.gpg.key | sudo apt-key add - - wget -qO - https://repo.delellis.com.ar/repo.gpg.key | sudo apt-key add -
- sudo apt-key adv --keyserver keyserver.ubuntu.com --recv-keys 762E3157 - sudo apt-key adv --keyserver keyserver.ubuntu.com --recv-keys 762E3157
- sudo apt update - sudo apt update
- sudo apt-get install libdlib-dev php-bz2 - sudo apt-get install libdlib-dev
- phpize - phpize
- ./configure --enable-debug - ./configure --enable-debug
- make - make