diff options
| author | Emmanuel Vadot <[email protected]> | 2016-12-27 22:36:08 +0100 |
|---|---|---|
| committer | Tom Rini <[email protected]> | 2017-01-02 11:14:04 -0500 |
| commit | 6d799d04a843b85b0842b7c266a16b3c515b8c35 (patch) | |
| tree | 5201c66aad9235ca8dedb6904792eaa4285cd3b9 /scripts/cleanpatch | |
| 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 <[email protected]>
Diffstat (limited to 'scripts/cleanpatch')
0 files changed, 0 insertions, 0 deletions