diff options
author | Greg Fischer <greg@lunarg.com> | 2022-02-10 14:16:44 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-02-10 14:16:44 -0700 |
commit | 90d4bd05cd77ef5782a6779a0fe3d084440dc80d (patch) | |
tree | 0ca9713d39ce9f98963454a71c2bf19650fd1e6e | |
parent | cf02eda7cadd5dd79ee1e424e601f50c4ff40057 (diff) | |
parent | 25555a7f62cf10e301f110142eea49d20fac27f9 (diff) | |
download | glslang-90d4bd05cd77ef5782a6779a0fe3d084440dc80d.tar.gz |
Merge pull request #2888 from mrpippy/python3
Explicitly use Python 3 for scripts
-rwxr-xr-x | build_info.py | 2 | ||||
-rwxr-xr-x[-rw-r--r--] | gen_extension_headers.py | 4 | ||||
-rwxr-xr-x | update_glslang_sources.py | 2 |
3 files changed, 4 insertions, 4 deletions
diff --git a/build_info.py b/build_info.py index 7c1998f6..06d613b0 100755 --- a/build_info.py +++ b/build_info.py @@ -1,4 +1,4 @@ -#!/usr/bin/env python +#!/usr/bin/env python3 # Copyright (c) 2020 Google Inc. # diff --git a/gen_extension_headers.py b/gen_extension_headers.py index a787f9a9..2838c962 100644..100755 --- a/gen_extension_headers.py +++ b/gen_extension_headers.py @@ -1,4 +1,4 @@ -#!/usr/bin/env python +#!/usr/bin/env python3 # Copyright (c) 2020 Google Inc. # @@ -95,4 +95,4 @@ def main(): generate_main(glsl_files, output_file)
if __name__ == '__main__':
- main()
\ No newline at end of file + main() diff --git a/update_glslang_sources.py b/update_glslang_sources.py index 65be2f6a..20f303ba 100755 --- a/update_glslang_sources.py +++ b/update_glslang_sources.py @@ -1,4 +1,4 @@ -#!/usr/bin/env python +#!/usr/bin/env python3 # Copyright 2017 The Glslang Authors. All rights reserved. # |