commit 2f838d4058c091c56c31c5dfbc17d7379ba5523b
author Ying Wang <wangying@android.com> Mon Dec 02 19:07:09 2013 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> Mon Dec 02 19:07:09 2013 +0000
tree 8ee79ad2223962d2ed09b94d20d7dddc5abc46d2
parent 7ceee468756c8ba05fd8b6e82e98856a6d74bf51
parent 2248c17cd3483c030571cc6163a0e0870da998c2

Merge "tools: use '/usr/bin/env python' instead of '/usr/bin/python'"

tools/cpplint.py

diff --git a/tools/cpplint.py b/tools/cpplint.py
index 30b5216..c2f6514 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.
 #

tools/generate-operator-out.py

diff --git a/tools/generate-operator-out.py b/tools/generate-operator-out.py
index 0c085fb..19266b4 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
 #