Merge pull request #3037 from mbechard/master

[platform/upstream/glslang.git] / gen_extension_headers.py

diff --git a/gen_extension_headers.py b/gen_extension_headers.py
old mode 100644 (file)
new mode 100755 (executable)
index a787f9a..2838c96
--- 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)\r
 \r
 if __name__ == '__main__':\r
-    main()
\ No newline at end of file
+    main()