Vojtech Szocs has submitted this change and it was merged. Change subject: webadmin,userportal: No need for gwt-plugin.extraJvmArgs in gwt-extension ......................................................................
webadmin,userportal: No need for gwt-plugin.extraJvmArgs in gwt-extension The "gwt-plugin.extraJvmArgs" property was recently moved to frontend parent POM, i.e. frontend/webadmin/modules/pom.xml Specific frontend modules don't need to override this property, its value can be inherited from frontend parent POM. In case of gwt-extension, this property isn't really necessary, since there's no GWT compilation involved when building this module. Change-Id: If3bc42f84e78a487d7c1ad10b82d466ca197fb90 Signed-off-by: Vojtech Szocs <[email protected]> --- M frontend/webadmin/modules/gwt-extension/pom.xml 1 file changed, 0 insertions(+), 1 deletion(-) Approvals: Vojtech Szocs: Verified; Looks good to me, approved -- To view, visit http://gerrit.ovirt.org/13173 To unsubscribe, visit http://gerrit.ovirt.org/settings Gerrit-MessageType: merged Gerrit-Change-Id: If3bc42f84e78a487d7c1ad10b82d466ca197fb90 Gerrit-PatchSet: 3 Gerrit-Project: ovirt-engine Gerrit-Branch: master Gerrit-Owner: Vojtech Szocs <[email protected]> Gerrit-Reviewer: Asaf Shakarchi <[email protected]> Gerrit-Reviewer: Daniel Erez <[email protected]> Gerrit-Reviewer: Einav Cohen <[email protected]> Gerrit-Reviewer: Vojtech Szocs <[email protected]> _______________________________________________ Engine-patches mailing list [email protected] http://lists.ovirt.org/mailman/listinfo/engine-patches
