# HG changeset patch
# User Bernhard Urban <bernhard.urban@jku.at>
# Date 1394621115 -3600
# Node ID 1ac6195ee5869ac47985cb78e6faaf127be7c13e
# Parent  e666c172c9aa652a40836859bc1452930271a27a
mx: use os.sep

diff -r e666c172c9aa -r 1ac6195ee586 mxtool/mx.py
--- a/mxtool/mx.py	Wed Mar 12 11:40:33 2014 +0100
+++ b/mxtool/mx.py	Wed Mar 12 11:45:15 2014 +0100
@@ -1469,7 +1469,7 @@
 
     def _isJava():
         if args:
-            name = args[0].split("/")[-1]
+            name = args[0].split(os.sep)[-1]
             return name == "java"
         return False