aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGreg Fischer <greg@lunarg.com>2022-02-10 14:16:44 -0700
committerGitHub <noreply@github.com>2022-02-10 14:16:44 -0700
commit90d4bd05cd77ef5782a6779a0fe3d084440dc80d (patch)
tree0ca9713d39ce9f98963454a71c2bf19650fd1e6e
parentcf02eda7cadd5dd79ee1e424e601f50c4ff40057 (diff)
parent25555a7f62cf10e301f110142eea49d20fac27f9 (diff)
downloadglslang-90d4bd05cd77ef5782a6779a0fe3d084440dc80d.tar.gz
Merge pull request #2888 from mrpippy/python3
Explicitly use Python 3 for scripts
-rwxr-xr-xbuild_info.py2
-rwxr-xr-x[-rw-r--r--]gen_extension_headers.py4
-rwxr-xr-xupdate_glslang_sources.py2
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.
#