diff --git a/install-php-extensions b/install-php-extensions index 575fc7aa..fceb0c57 100755 --- a/install-php-extensions +++ b/install-php-extensions @@ -3942,6 +3942,9 @@ installRemoteModule() { fi fi ;; + seaslog) + installRemoteModule_cppflags='-Wno-incompatible-pointer-types' + ;; smbclient) if test -z "$installRemoteModule_version"; then if test $PHP_MAJMIN_VERSION -le 506; then