diff options
| author | Emilio Jesus Gallego Arias | 2019-07-02 17:06:56 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2019-07-06 11:52:08 +0200 |
| commit | f519b3e90484c7e712ddd39175a7110f97950d82 (patch) | |
| tree | 6f1a9c4ece94ad178b2dfb66a00009ab68170b9f /dev/tools | |
| parent | 766ebac9797616b5abb6663e0ecc656cb11282d4 (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-x | dev/tools/update-compat.py | 2 |
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 |
