File: python3.patch

package info (click to toggle)
khronos-api 4.6%2Bgit20180514-1
  • links: PTS
  • area: main
  • in suites: buster
  • size: 3,484 kB
  • sloc: xml: 52,871; python: 1,715; makefile: 50; ansic: 23; php: 15; sh: 3
file content (11 lines) | stat: -rw-r--r-- 284 bytes parent folder | download | duplicates (2) 
1
2
3
4
5
6
7
8
9
10
11
 
description: use python3 as the interpreter for the genheaders script
author: Michael Gilbert <mgilbert@debian.org>

--- a/xml/genheaders.py
+++ b/xml/genheaders.py
@@ -1,4 +1,4 @@
-#!/usr/bin/env python
+#!/usr/bin/env python3
 #
 # Copyright (c) 2013-2017 The Khronos Group Inc.
 #