| commit | 6d799d04a843b85b0842b7c266a16b3c515b8c35 | [log] [tgz] |
|---|---|---|
| author | Emmanuel Vadot <manu@bidouilliste.com> | Tue Dec 27 22:36:08 2016 +0100 |
| committer | Tom Rini <trini@konsulko.com> | Mon Jan 02 11:14:04 2017 -0500 |
| tree | 5201c66aad9235ca8dedb6904792eaa4285cd3b9 | |
| 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>