diff options
| author | Artur Signell <artur.signell@itmill.com> | 2009-02-19 11:29:50 +0000 |
|---|---|---|
| committer | Artur Signell <artur.signell@itmill.com> | 2009-02-19 11:29:50 +0000 |
| commit | 2c58faef46002880dbac80164636888cc172f4f0 (patch) | |
| tree | a4b8f7d6a171102541d7c224b957f8120662f244 /build | |
| parent | 1a8889b60e1bf84e7b5114f496ffe2a24ae883fd (diff) | |
| download | vaadin-framework-2c58faef46002880dbac80164636888cc172f4f0.tar.gz vaadin-framework-2c58faef46002880dbac80164636888cc172f4f0.zip | |
Fix for #2642 - Eclipse project now requires and automatically uses java 1.5
svn changeset:6906/svn branch:trunk
Diffstat (limited to 'build')
| -rw-r--r-- | build/build.xml | 2 | ||||
| -rw-r--r-- | build/package/eclipse-org.eclipse.jdt.core.prefs | 12 |
2 files changed, 14 insertions, 0 deletions
diff --git a/build/build.xml b/build/build.xml index 991ebada8a..4311815756 100644 --- a/build/build.xml +++ b/build/build.xml @@ -456,6 +456,7 @@ <include name="eclipse*launch" /> <include name="build-widgetset.xml" /> <include name="eclipse-org.eclipse.core.resources.prefs" /> + <include name="eclipse-org.eclipse.jdt.core.prefs" /> </fileset> </copy> <move file="${output-dir}/build-widgetset.xml" tofile="${output-dir}/WebContent/doc/example-source/build-widgetset.xml" /> @@ -465,6 +466,7 @@ <move file="${output-dir}/eclipse-IT Mill Toolkit Web Mode-launch" tofile="${output-dir}/IT Mill Toolkit Web Mode.launch" /> <mkdir dir="${output-dir}/.settings" /> <move file="${output-dir}/eclipse-org.eclipse.core.resources.prefs" tofile="${output-dir}/.settings/org.eclipse.core.resources.prefs" /> + <move file="${output-dir}/eclipse-org.eclipse.jdt.core.prefs" tofile="${output-dir}/.settings/org.eclipse.jdt.core.prefs" /> <if> <equals arg1="${package-platform}" arg2="windows" /> <then> diff --git a/build/package/eclipse-org.eclipse.jdt.core.prefs b/build/package/eclipse-org.eclipse.jdt.core.prefs new file mode 100644 index 0000000000..6ca90fa9ba --- /dev/null +++ b/build/package/eclipse-org.eclipse.jdt.core.prefs @@ -0,0 +1,12 @@ +#Wed Feb 18 23:54:00 EET 2009 +eclipse.preferences.version=1 +org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled +org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.5 +org.eclipse.jdt.core.compiler.codegen.unusedLocal=preserve +org.eclipse.jdt.core.compiler.compliance=1.5 +org.eclipse.jdt.core.compiler.debug.lineNumber=generate +org.eclipse.jdt.core.compiler.debug.localVariable=generate +org.eclipse.jdt.core.compiler.debug.sourceFile=generate +org.eclipse.jdt.core.compiler.problem.assertIdentifier=error +org.eclipse.jdt.core.compiler.problem.enumIdentifier=error +org.eclipse.jdt.core.compiler.source=1.5 |