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 \______ \ ____ ____ | | _\_ |__ _______ ___