Index: tools/run-tests.py |
diff --git a/tools/run-tests.py b/tools/run-tests.py |
index a98bd40d88dd2745cfc94c4a6a554b47adecdd06..934d9d77cf853929383d28d261a621ec16e99dc7 100755 |
--- a/tools/run-tests.py |
+++ b/tools/run-tests.py |
@@ -505,7 +505,7 @@ def Main(): |
else: |
args_suites = OrderedDict() # Used as set |
for arg in args: |
- args_suites[arg.split(os.path.sep)[0]] = True |
+ args_suites[arg.split('/')[0]] = True |
suite_paths = [ s for s in args_suites if s in suite_paths ] |
suites = [] |