diff options
author | Philippe Mathieu-Daudé <philmd@redhat.com> | 2020-01-30 17:32:26 +0100 |
---|---|---|
committer | Philippe Mathieu-Daudé <philmd@redhat.com> | 2020-02-07 15:12:48 +0100 |
commit | b92e7dae2b2626c0afc8ac980660b2ffc3e35bf0 (patch) | |
tree | bb5384392ed95b29f102a1847af229aebf96196c | |
parent | 3d004a371e88a7454eb8ab8c19e6b0bd067b34cd (diff) |
scripts/minikconf: Explicit usage of Python 3
Use the program search path to find the Python 3 interpreter.
Patch created manually after running:
$ git grep -l 'if __name__.*__main__' \
| xargs grep -LF '#!/usr/bin/env python3'
Reported-by: Vladimir Sementsov-Ogievskiy <vsementsov@virtuozzo.com>
Suggested-by: Daniel P. Berrangé <berrange@redhat.com>
Suggested-by: Stefan Hajnoczi <stefanha@redhat.com>
Acked-by: Stefan Hajnoczi <stefanha@redhat.com>
Acked-by: Paolo Bonzini <pbonzini@redhat.com>
Message-Id: <20200130163232.10446-7-philmd@redhat.com>
Signed-off-by: Philippe Mathieu-Daudé <philmd@redhat.com>
-rw-r--r-- | scripts/minikconf.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/scripts/minikconf.py b/scripts/minikconf.py index 40ae1989e1..377d6228b9 100644 --- a/scripts/minikconf.py +++ b/scripts/minikconf.py @@ -1,3 +1,4 @@ +#!/usr/bin/env python3 # # Mini-Kconfig parser # |