| commit | a5c90ac56ae56d799b8bc87a101e62eee9a5d673 | [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 | 45a9c157a1318345ae247a1992b9df04f656b983 [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>