aboutsummaryrefslogtreecommitdiff
path: root/dev/tools
diff options
context:
space:
mode:
authorEmilio Jesus Gallego Arias2019-07-02 17:06:56 +0200
committerEmilio Jesus Gallego Arias2019-07-06 11:52:08 +0200
commitf519b3e90484c7e712ddd39175a7110f97950d82 (patch)
tree6f1a9c4ece94ad178b2dfb66a00009ab68170b9f /dev/tools
parent766ebac9797616b5abb6663e0ecc656cb11282d4 (diff)
[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.
Diffstat (limited to 'dev/tools')
-rwxr-xr-xdev/tools/update-compat.py2
1 files changed, 1 insertions, 1 deletions
diff --git a/dev/tools/update-compat.py b/dev/tools/update-compat.py
index 0338cd42c7..c7bb36b6d3 100755
--- a/dev/tools/update-compat.py
+++ b/dev/tools/update-compat.py
@@ -1,4 +1,4 @@
-#!/usr/bin/env python
+#!/usr/bin/env python2
from __future__ import with_statement
import os, re, sys, subprocess