tools: update shebang in thumb-cc.py

Some distros, including Ubuntu/Debian, don't provide a "python"
command unless an additional package is installed. Using "python3"
explicitly should work everywhere.

Using "/usr/bin/env" respects the user's PATH, so they can choose
a specific Python version instead of forcing the systemwide copy.

Change-Id: I02e3ead92939c42df6def79dec3dc2a62c62b1c3

1 files changed, 1 insertions, 1 deletions

diff --git a/tools/thumb-cc.py b/tools/thumb-cc.py
index 53d1051bef..9e2b96c346 100755
--- a/tools/thumb-cc.py
+++ b/tools/thumb-cc.py
@@ -1,4 +1,4 @@
-#!/usr/bin/python
+#!/usr/bin/env python3
 # -*- coding: utf8 -*-
 #             __________               __   ___.
 #   Open      \______   \ ____   ____ |  | _\_ |__   _______  ___