Changes for Ubuntu 19.10.

This commit is contained in:
Andrew Hamilton 2019-11-06 13:03:00 +10:00
parent 04c5bf3d56
commit a770a3ebc7
5 changed files with 7 additions and 7 deletions

View file

@ -250,7 +250,7 @@ patches = {
"mediainfo": {"subdir": "Project/GNU/CLI"},
"php7.2": {"buildsystem": "simple",
"php7.3": {"buildsystem": "simple",
"build-commands": [
"./configure --prefix=/app --disable-all --disable-cgi"
" --disable-phpdbg",