diff options
author | 2013-11-06 20:43:21 +0530 | |
---|---|---|
committer | 2013-11-28 13:49:31 +0000 | |
commit | 2248c17cd3483c030571cc6163a0e0870da998c2 (patch) | |
tree | b2e4ca7370c5d51791884676c4c9f9030b8b05f9 /tools/generate-operator-out.py | |
parent | 00ce185371be9930dfd75e5acc2258a1139b558e (diff) |
tools: use '/usr/bin/env python' instead of '/usr/bin/python'
* This is how it is done in other scripts in the AOSP tree, as
'/usr/bin/python' may be python3 on some distros, which isn't
supported yet.
Change-Id: I0d9857fc6a122f505953fddcd6244dad75b1838a
Diffstat (limited to 'tools/generate-operator-out.py')
-rwxr-xr-x | tools/generate-operator-out.py | 2 |
1 files changed, 1 insertions, 1 deletions
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 # |