diff options
| -rwxr-xr-x | tools/cpplint.py | 2 | ||||
| -rwxr-xr-x | tools/generate-operator-out.py | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/tools/cpplint.py b/tools/cpplint.py index 30b5216b12..c2f6514c2b 100755 --- a/tools/cpplint.py +++ b/tools/cpplint.py @@ -1,4 +1,4 @@ -#!/usr/bin/python +#!/usr/bin/env python # # Copyright (c) 2009 Google Inc. All rights reserved. # diff --git a/tools/generate-operator-out.py b/tools/generate-operator-out.py index 0c085fbe93..19266b4f64 100755 --- a/tools/generate-operator-out.py +++ b/tools/generate-operator-out.py @@ -1,4 +1,4 @@ -#!/usr/bin/python +#!/usr/bin/env python # # Copyright (C) 2012 The Android Open Source Project # |