diff options
| author | Neil <nyamatongwe@gmail.com> | 2020-03-11 15:32:45 +1100 |
|---|---|---|
| committer | Neil <nyamatongwe@gmail.com> | 2020-03-11 15:32:45 +1100 |
| commit | 563e53bb36783505d3e81aeb517f34933dd29d69 (patch) | |
| tree | 837c7223510cf75ed604fa87f9e17a57c6d98e68 /scripts/HeaderCheck.py | |
| parent | e656ed719ff0d70fced5a7d979d787cc59162307 (diff) | |
| download | scintilla-mirror-563e53bb36783505d3e81aeb517f34933dd29d69.tar.gz | |
Backport: Add or update #! lines of Python scripts to use python3.
Backport of changeset 7999:7422719fcc68.
Diffstat (limited to 'scripts/HeaderCheck.py')
| -rw-r--r-- | scripts/HeaderCheck.py | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/scripts/HeaderCheck.py b/scripts/HeaderCheck.py index 715859c5a..18f980883 100644 --- a/scripts/HeaderCheck.py +++ b/scripts/HeaderCheck.py @@ -1,5 +1,7 @@ +#!/usr/bin/env python3 # Script to check that headers are in a consistent order -# Requires Python 2.6 or later +# Canonical header order is defined in scripts/HeaderOrder.txt +# Requires Python 3.6 or later from __future__ import print_function import codecs, glob, os, platform, sys, unicodedata |