diff options
| author | skovalsky | 2015-06-15 18:14:18 +0000 |
|---|---|---|
| committer | Remi Schnekenburger | 2015-06-18 16:47:42 +0000 |
| commit | 1d6355b67491487164f3edd5930f9c48a24dbbff (patch) | |
| tree | c7a336bac5aa5adf9c04c530212dcb6f06b86dc7 /plugins/developer/org.eclipse.papyrus.def | |
| parent | 514c7bb4b8b6201387c7eef3742d3233f104b8ac (diff) | |
| download | org.eclipse.papyrus-1d6355b67491487164f3edd5930f9c48a24dbbff.tar.gz org.eclipse.papyrus-1d6355b67491487164f3edd5930f9c48a24dbbff.tar.xz org.eclipse.papyrus-1d6355b67491487164f3edd5930f9c48a24dbbff.zip | |
Set fixed 1.7 execution environment in generation manifest file
Change-Id: I8c20ce4af5a80c4ef48b0d692f8ce7c27f7a9619
Signed-off-by: skovalsky <kovalsky@montages.com>
Reviewed-on: https://git.eclipse.org/r/50205
Tested-by: Hudson CI
Reviewed-by: Remi Schnekenburger <remi.schnekenburger@cea.fr>
Diffstat (limited to 'plugins/developer/org.eclipse.papyrus.def')
| -rw-r--r-- | plugins/developer/org.eclipse.papyrus.def/xtend/aspects/xpt/plugin/manifest.xtend | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/plugins/developer/org.eclipse.papyrus.def/xtend/aspects/xpt/plugin/manifest.xtend b/plugins/developer/org.eclipse.papyrus.def/xtend/aspects/xpt/plugin/manifest.xtend index 24aa64e88c3..71c62ab4d52 100644 --- a/plugins/developer/org.eclipse.papyrus.def/xtend/aspects/xpt/plugin/manifest.xtend +++ b/plugins/developer/org.eclipse.papyrus.def/xtend/aspects/xpt/plugin/manifest.xtend @@ -72,4 +72,8 @@ Require-Bundle: org.eclipse.core.runtime, «ENDIF» ''' + override def executionEnvironment(GenPlugin it) ''' + Bundle-RequiredExecutionEnvironment: JavaSE-1.7 + ''' + }
\ No newline at end of file |