From f519b3e90484c7e712ddd39175a7110f97950d82 Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Tue, 2 Jul 2019 17:06:56 +0200
Subject: [python] Remove use of generic python shebang, update CI

Fixes #10465

Following discussion we don't allow a generic `/usr/bin/python`
shebang anymore. We thus move all the scripts [but one] to python3,
and add python3 to the Azure base environment.

Unfortunately we still depend on python2 for the update-compat.py
script, see #10491

We thus have to complement #10467 adding python2 back to Nix,
until #10491 is fixed.
---
 tools/make-both-single-timing-files.py | 2 +-
 tools/make-both-time-files.py          | 2 +-
 tools/make-one-time-file.py            | 2 +-
 3 files changed, 3 insertions(+), 3 deletions(-)

(limited to 'tools')

diff --git a/tools/make-both-single-timing-files.py b/tools/make-both-single-timing-files.py
index 32c52c7a17..fddf75f39f 100755
--- a/tools/make-both-single-timing-files.py
+++ b/tools/make-both-single-timing-files.py
@@ -1,4 +1,4 @@
-#!/usr/bin/env python
+#!/usr/bin/env python3
 import sys
 from TimeFileMaker import *
 
diff --git a/tools/make-both-time-files.py b/tools/make-both-time-files.py
index f730a8d6bd..8937d63c2f 100755
--- a/tools/make-both-time-files.py
+++ b/tools/make-both-time-files.py
@@ -1,4 +1,4 @@
-#!/usr/bin/env python
+#!/usr/bin/env python3
 import sys
 from TimeFileMaker import *
 
diff --git a/tools/make-one-time-file.py b/tools/make-one-time-file.py
index e66136df9d..ad0a04ab07 100755
--- a/tools/make-one-time-file.py
+++ b/tools/make-one-time-file.py
@@ -1,4 +1,4 @@
-#!/usr/bin/env python
+#!/usr/bin/env python3
 import sys
 from TimeFileMaker import *
 
-- 
cgit v1.2.3