Index: tools/only_in_release_mode.py |
diff --git a/tools/only_in_release_mode.py b/tools/only_in_release_mode.py |
index 2713b105d6fc18e5aacf6da7297df3b7929e8558..089d30c039c91245c1f18d42f832bc18610f14c1 100644 |
--- a/tools/only_in_release_mode.py |
+++ b/tools/only_in_release_mode.py |
@@ -28,6 +28,7 @@ def Main(): |
separator_index = sys.argv.index('--') |
outputs = sys.argv[1:separator_index] |
arguments = sys.argv[separator_index + 1:] |
+ arguments[0] = os.path.normpath(arguments[0]) |
mode = os.getenv('DART_BUILD_MODE', default='release') |
if mode != 'release': |
print >> sys.stderr, 'Not running %s in mode=%s' % (arguments, mode) |