gerrit/tools/gwt-constants.defs
David Ostrovsky 9bbede1b0b Buck: Adapt GWT plugins to changed lib name
Change-Id: I779c1386a38966d80b4d1bab172dd1d1463778b1
2014-02-19 07:03:48 +01:00

13 lines
215 B
Plaintext

GWT_COMPILER_OPTS = [
'-strict',
'-style', 'OBF',
'-optimize', '9',
'-XdisableClassMetadata',
'-XdisableCastChecking',
]
GWT_PLUGIN_DEPS = [
'//gerrit-plugin-gwtui:gwtui-api-lib',
'//lib/gwt:user',
]