diff options
| author | Emmanuel Vadot <manu@bidouilliste.com> | 2016-12-27 22:36:08 +0100 |
|---|---|---|
| committer | Tom Rini <trini@konsulko.com> | 2017-01-02 11:14:04 -0500 |
| commit | 6d799d04a843b85b0842b7c266a16b3c515b8c35 (patch) | |
| tree | 5201c66aad9235ca8dedb6904792eaa4285cd3b9 /tools/binman | |
| parent | 208d14bacd713c9043d966111e77f31e6fe1c16c (diff) | |
tools: binman: Use /usr/bin/env to find python executable
Some OS (all BSD and probably others) do not have python in /usr/bin
but in another directory.
It is a common usage to use /usr/bin/env python as shebang for python
scripts so use this for binman.
Signed-off-by: Emmanuel Vadot <manu@bidouilliste.com>
Diffstat (limited to 'tools/binman')
| -rwxr-xr-x | tools/binman/binman.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/binman/binman.py b/tools/binman/binman.py index 7fb67cb25f..4cc431fbbe 100755 --- a/tools/binman/binman.py +++ b/tools/binman/binman.py @@ -1,4 +1,4 @@ -#!/usr/bin/python +#!/usr/bin/env python # Copyright (c) 2016 Google, Inc # Written by Simon Glass <sjg@chromium.org> |