# HG changeset patch
# User Bernhard Urban <bernhard.urban@jku.at>
# Date 1412046797 25200
# Node ID eff18e262a13a4d50445aac2957b5092fd05cb8c
# Parent  f1f7b796874f6eabbbc328d793a37f541249adb7
fix jdt build on windows/cygwin (2)

diff -r f1f7b796874f -r eff18e262a13 mxtool/mx.py
--- a/mxtool/mx.py	Mon Sep 29 20:48:37 2014 +0200
+++ b/mxtool/mx.py	Mon Sep 29 20:13:17 2014 -0700
@@ -2422,9 +2422,9 @@
                         with open(jdtPropertiesTmp, 'w') as fp:
                             fp.write(content)
                         toBeDeleted.append(jdtPropertiesTmp)
-                        jdtArgs += ['-properties', jdtPropertiesTmp]
+                        jdtArgs += ['-properties', _tpU2W(jdtPropertiesTmp)]
                     else:
-                        jdtArgs += ['-properties', jdtProperties]
+                        jdtArgs += ['-properties', _tpU2W(jdtProperties)]
                 jdtArgs.append('@' + _tpU2W(argfile.name))
 
                 run_java(jdtVmArgs + jdtArgs)