Index: tools/create_timestamp_file.py |
diff --git a/tools/create_timestamp_file.py b/tools/create_timestamp_file.py |
old mode 100644 |
new mode 100755 |
index 7a1d4d3d218e09fe90d0a687473cc679dd636fd8..0a97edcc24cea13f46247a34f0f6563ed6de4c42 |
--- a/tools/create_timestamp_file.py |
+++ b/tools/create_timestamp_file.py |
@@ -1,3 +1,4 @@ |
+#!/usr/bin/env python |
# Copyright (c) 2013, the Dart project authors. Please see the AUTHORS file |
# for details. All rights reserved. Use of this source code is governed by a |
# BSD-style license that can be found in the LICENSE file. |