diff options
author | Nico Huber <nico.h@gmx.de> | 2016-01-23 21:28:29 +0100 |
---|---|---|
committer | Nico Huber <nico.h@gmx.de> | 2016-01-25 01:28:52 +0100 |
commit | 7224e87d1077504db672ee3ea3ea0a7e5e2a69dd (patch) | |
tree | ea42bf163c7a09b69aaeaf5dd837a3e45c71c60b /util/optionlist/kconfig2wiki | |
parent | db84a99011bef90c57fcbbd168c95ca6d7aceafd (diff) |
util: Use /usr/bin/env as wrapper to look up python
This way users are not constrained to have it installed as
/usr/bin/python.
Change-Id: I822b6c402004aad8f2353e71afbd8ee3f9d26d45
Signed-off-by: Nico Huber <nico.h@gmx.de>
Reviewed-on: https://review.coreboot.org/13285
Tested-by: build bot (Jenkins)
Reviewed-by: Paul Menzel <paulepanter@users.sourceforge.net>
Reviewed-by: Patrick Georgi <pgeorgi@google.com>
Diffstat (limited to 'util/optionlist/kconfig2wiki')
-rwxr-xr-x | util/optionlist/kconfig2wiki | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/util/optionlist/kconfig2wiki b/util/optionlist/kconfig2wiki index 5ab93fe869..a6f78a902a 100755 --- a/util/optionlist/kconfig2wiki +++ b/util/optionlist/kconfig2wiki @@ -1,4 +1,4 @@ -#!/usr/bin/python +#!/usr/bin/env python # # kconfig2wiki - Kconfig to MediaWiki converter for # http://www.coreboot.org/Coreboot_Options |