Merge pull request #114175 from eyJhb/php-phpdbg-disable

php: fixed not being able to disable phpdbgSupport
This commit is contained in:
Kim Lindberger 2021-04-28 10:46:47 +02:00 committed by GitHub
commit 3bed46e4b9
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -192,7 +192,7 @@ let
"--with-libxml-dir=${libxml2.dev}"
]
++ lib.optional pharSupport "--enable-phar"
++ lib.optional phpdbgSupport "--enable-phpdbg"
++ lib.optional (!phpdbgSupport) "--disable-phpdbg"
# Misc flags