diff --git a/build_info.py b/build_info.py index 7c1998f6e..06d613b0d 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 old mode 100644 new mode 100755 index a787f9a9c..2838c9622 --- 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 65be2f6a2..20f303ba3 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. #