Codebase list coq / 9f4c671
refresh patch avoid-usr-bin-env Ralf Treinen 3 years ago
2 changed file(s) with 7 addition(s) and 26 deletion(s). Raw diff Collapse all Expand all
+1
-0
debian/changelog less more
22 * New upstream release.
33 refresh patches:
44 - remove-tests-that-need-coqlib
5 - avoid-usr-bin-env
56
67 --
78
+6
-26
debian/patches/avoid-usr-bin-env.patch less more
1313 tools/make-one-time-file.py | 2 +-
1414 3 files changed, 3 insertions(+), 3 deletions(-)
1515
16 Index: coq/tools/make-both-single-timing-files.py
17 ===================================================================
18 --- coq.orig/tools/make-both-single-timing-files.py 2020-03-05 21:33:07.617360954 +0100
19 +++ coq/tools/make-both-single-timing-files.py 2020-03-05 21:33:07.613360931 +0100
20 @@ -1,4 +1,4 @@
21 -#!/usr/bin/env python3
22 +#!/usr/bin/python3
23 import sys
24 from TimeFileMaker import *
25
26 Index: coq/tools/make-both-time-files.py
27 ===================================================================
28 --- coq.orig/tools/make-both-time-files.py 2020-03-05 21:33:07.617360954 +0100
29 +++ coq/tools/make-both-time-files.py 2020-03-05 21:33:07.613360931 +0100
30 @@ -1,4 +1,4 @@
31 -#!/usr/bin/env python3
32 +#!/usr/bin/python3
33 import sys
34 from TimeFileMaker import *
35
3616 Index: coq/tools/make-one-time-file.py
3717 ===================================================================
38 --- coq.orig/tools/make-one-time-file.py 2020-03-05 21:33:07.617360954 +0100
39 +++ coq/tools/make-one-time-file.py 2020-03-05 21:33:07.613360931 +0100
18 --- coq.orig/tools/make-one-time-file.py 2020-08-21 13:06:29.427958850 +0200
19 +++ coq/tools/make-one-time-file.py 2020-08-21 13:06:29.423958850 +0200
4020 @@ -1,4 +1,4 @@
4121 -#!/usr/bin/env python3
4222 +#!/usr/bin/python3
4525
4626 Index: coq/dev/tools/update-compat.py
4727 ===================================================================
48 --- coq.orig/dev/tools/update-compat.py 2020-03-05 19:54:36.966782770 +0100
49 +++ coq/dev/tools/update-compat.py 2020-03-05 21:34:39.365908758 +0100
28 --- coq.orig/dev/tools/update-compat.py 2020-08-21 13:06:29.427958850 +0200
29 +++ coq/dev/tools/update-compat.py 2020-08-21 13:07:59.499958222 +0200
5030 @@ -1,4 +1,4 @@
51 -#!/usr/bin/env python2
31 -#!/usr/bin/env python3
5232 +#!/usr/bin/python3
53 from __future__ import with_statement
5433 import os, re, sys, subprocess
34 from io import open