diff options
| author | Patrick Georgi <patrick@coreboot.org> | 2022-11-04 02:05:52 +0100 |
|---|---|---|
| committer | Patrick Georgi <patrick@coreboot.org> | 2022-12-02 08:34:14 +0000 |
| commit | 3d4b1710ebc03ce6c32b26a2501be908d6b2a19b (patch) | |
| tree | 7ad9d7d56377c9646bef37e95510a379897ad4e8 /util | |
| parent | a6dedb8c22a21ec8e8108f11482da37cb14f48c3 (diff) | |
kconfig2html: Denote that the script is python3
`python` as a command isn't universally available anymore after the
python2/python3 drama.
Change-Id: I9d68873d86dc3f044238d921c10fc434a83a76f5
Signed-off-by: Patrick Georgi <patrick@coreboot.org>
Reviewed-on: https://review.coreboot.org/c/coreboot/+/69190
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Angel Pons <th3fanbus@gmail.com>
Diffstat (limited to 'util')
| -rwxr-xr-x | util/docker/coreboot.org-status/kconfig2html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/util/docker/coreboot.org-status/kconfig2html b/util/docker/coreboot.org-status/kconfig2html index 3c1efc1b6a..38de1149de 100755 --- a/util/docker/coreboot.org-status/kconfig2html +++ b/util/docker/coreboot.org-status/kconfig2html @@ -1,4 +1,4 @@ -#!/usr/bin/env python +#!/usr/bin/env python3 # # kconfig2wiki - Kconfig to MediaWiki converter for # https://www.coreboot.org/coreboot_Options |