diff options
Diffstat (limited to 'releng')
| -rw-r--r-- | releng/org.eclipse.equinox.launcher.releng/build.xml | 16 |
1 files changed, 9 insertions, 7 deletions
diff --git a/releng/org.eclipse.equinox.launcher.releng/build.xml b/releng/org.eclipse.equinox.launcher.releng/build.xml index 6813773cc..ec35a1b6a 100644 --- a/releng/org.eclipse.equinox.launcher.releng/build.xml +++ b/releng/org.eclipse.equinox.launcher.releng/build.xml @@ -86,13 +86,15 @@ <resolveProperty name="machine" value="m_${os}.${arch}" /> <script language="javascript"> - a = project.getProperty('machine').split(':'); - - project.setProperty('machine', a[0]); - if ( a[1] == null ) { - project.setProperty('port', '22'); - } else { - project.setProperty('port', a[1]); + a = project.getProperty('machine'); + if (a != null) { + a = a.split(':'); + project.setProperty('machine', a[0]); + if ( a[1] == null ) { + project.setProperty('port', '22'); + } else { + project.setProperty('port', a[1]); + } } </script> |