Jonas Kress (WMDE) has uploaded a new change for review. https://gerrit.wikimedia.org/r/222147
Change subject: Workaround for composer merge plugin issue ...................................................................... Workaround for composer merge plugin issue Details https://github.com/wikimedia/composer-merge-plugin/issues/41 Change-Id: I234a651614d505931dca56f65ba2d8ec1b18a5d3 --- M puppet/modules/php/manifests/composer/install.pp 1 file changed, 2 insertions(+), 1 deletion(-) git pull ssh://gerrit.wikimedia.org:29418/mediawiki/vagrant refs/changes/47/222147/1 diff --git a/puppet/modules/php/manifests/composer/install.pp b/puppet/modules/php/manifests/composer/install.pp index 692926f..36314fb 100644 --- a/puppet/modules/php/manifests/composer/install.pp +++ b/puppet/modules/php/manifests/composer/install.pp @@ -39,7 +39,8 @@ } exec { "composer-install-${safe_dir}": - command => "composer install --optimize-autoloader --prefer-${prefer}", + # dump-autoload workaround https://github.com/wikimedia/composer-merge-plugin/issues/41 + command => "composer install --optimize-autoloader --prefer-${prefer} && composer dump-autoload -o", cwd => $directory, environment => [ "COMPOSER_HOME=${::php::composer::home}", -- To view, visit https://gerrit.wikimedia.org/r/222147 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: I234a651614d505931dca56f65ba2d8ec1b18a5d3 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/vagrant Gerrit-Branch: master Gerrit-Owner: Jonas Kress (WMDE) <jonas.kr...@wikimedia.de> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
