diff options
| author | Jason Gross | 2019-11-25 12:14:31 -0500 |
|---|---|---|
| committer | Jason Gross | 2019-11-25 12:14:31 -0500 |
| commit | f58291264e3b2197152bfca8879f8e0af64ce675 (patch) | |
| tree | a4f92b57949876aae70286a6f4196029942786a3 /kernel | |
| parent | 7177a6f76e74eb6e97c634bad484027bf94979bd (diff) | |
Error fatally if update-compat.py gets no flag
c.f. https://github.com/coq/coq/pull/11032#issue-335944369
Also, change the default from python2 to python3 for update-compat while
we're at it, and update file unicode handling accordingly.
(Note that this file still works with both python2 and python3.)
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions