diff options
| author | Artur Signell <artur@vaadin.com> | 2012-12-07 10:18:04 +0200 |
|---|---|---|
| committer | Vaadin Code Review <review@vaadin.com> | 2012-12-07 11:16:23 +0000 |
| commit | e0b22e126efda7222a1c15d3a4502d3c1ddad86c (patch) | |
| tree | 795287fc566edc3e98ee23727df61803a024d112 /shared/build.xml | |
| parent | 0a547d45b9444ae815e3c312f2a50e35e0d73c05 (diff) | |
| download | vaadin-framework-e0b22e126efda7222a1c15d3a4502d3c1ddad86c.tar.gz vaadin-framework-e0b22e126efda7222a1c15d3a4502d3c1ddad86c.zip | |
Specify version numbers for OSGi imports (#10358)
Change-Id: I62abd03cfd7624ad91a877106f87e7f56da477b1
Diffstat (limited to 'shared/build.xml')
| -rw-r--r-- | shared/build.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/shared/build.xml b/shared/build.xml index 9023cbdcc1..4cba76c85a 100644 --- a/shared/build.xml +++ b/shared/build.xml @@ -18,7 +18,7 @@ <target name="jar"> - <property name="shared.osgi.import" value="org.json;version="20080701", com.google.gwt.thirdparty.guava.common.annotations, com.google.gwt.thirdparty.guava.common.base, com.google.gwt.thirdparty.guava.common.base.internal, com.google.gwt.thirdparty.guava.common.cache, com.google.gwt.thirdparty.guava.common.collect, com.google.gwt.thirdparty.guava.common.eventbus, com.google.gwt.thirdparty.guava.common.io, com.google.gwt.thirdparty.guava.common.net, com.google.gwt.thirdparty.guava.common.primitives, com.google.gwt.thirdparty.guava.common.util.concurrent, com.google.gwt.thirdparty.streamhtmlparser, com.google.gwt.thirdparty.streamhtmlparser.impl, com.google.gwt.thirdparty.streamhtmlparser.util, org.w3c.flute.parser, org.w3c.flute.parser.selectors, org.w3c.flute.util" /> + <property name="shared.osgi.import" value="org.json;version="0.0.20080701", com.google.gwt.thirdparty.guava.common.annotations;version="10.0.1.rebased", com.google.gwt.thirdparty.guava.common.base;version="10.0.1.rebased", com.google.gwt.thirdparty.guava.common.base.internal;version="10.0.1.rebased", com.google.gwt.thirdparty.guava.common.cache;version="10.0.1.rebased", com.google.gwt.thirdparty.guava.common.collect;version="10.0.1.rebased", com.google.gwt.thirdparty.guava.common.eventbus;version="10.0.1.rebased", com.google.gwt.thirdparty.guava.common.io;version="10.0.1.rebased", com.google.gwt.thirdparty.guava.common.net;version="10.0.1.rebased", com.google.gwt.thirdparty.guava.common.primitives;version="10.0.1.rebased", com.google.gwt.thirdparty.guava.common.util.concurrent;version="10.0.1.rebased", com.google.gwt.thirdparty.streamhtmlparser;version="0.1.5.r10-rebased", com.google.gwt.thirdparty.streamhtmlparser.impl;version="0.1.5.r10-rebased", com.google.gwt.thirdparty.streamhtmlparser.util;version="0.1.5.r10-rebased", org.w3c.flute.parser;version="1.3.0.gg2", org.w3c.flute.parser.selectors;version="1.3.0.gg2", org.w3c.flute.util;version="1.3.0.gg2"" /> <delete dir="${src.filtered}" /> <!-- Update version in Version.java --> <copy todir="${src.filtered}"> |