diff options
| author | Miodrag Milanović <mmicko@gmail.com> | 2021-01-02 11:16:49 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-01-02 11:16:49 +0100 |
| commit | 9b9628047c01a970cfe20f83f2b7129ed109440d (patch) | |
| tree | 1db418e9a889dc6fbe6199c5259aac9bd8cbb32f /3rdparty/pybind11/tools/libsize.py | |
| parent | c6cdf30501dcb2da01361229dd66a05dad73a132 (diff) | |
| parent | 61b07bc9a664d6a88b85aae99f9756d7569688a9 (diff) | |
| download | nextpnr-9b9628047c01a970cfe20f83f2b7129ed109440d.tar.gz nextpnr-9b9628047c01a970cfe20f83f2b7129ed109440d.tar.bz2 nextpnr-9b9628047c01a970cfe20f83f2b7129ed109440d.zip | |
Merge pull request #549 from YosysHQ/update
Update pybind11 version and fix for future python versions
Diffstat (limited to '3rdparty/pybind11/tools/libsize.py')
| -rw-r--r-- | 3rdparty/pybind11/tools/libsize.py | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/3rdparty/pybind11/tools/libsize.py b/3rdparty/pybind11/tools/libsize.py index 5dcb8b0d..589c317f 100644 --- a/3rdparty/pybind11/tools/libsize.py +++ b/3rdparty/pybind11/tools/libsize.py @@ -1,3 +1,4 @@ +# -*- coding: utf-8 -*- from __future__ import print_function, division import os import sys @@ -18,7 +19,7 @@ if not os.path.exists(lib): libsize = os.path.getsize(lib) -print("------", os.path.basename(lib), "file size:", libsize, end='') +print("------", os.path.basename(lib), "file size:", libsize, end="") if os.path.exists(save): with open(save) as sf: @@ -33,6 +34,5 @@ if os.path.exists(save): else: print() -with open(save, 'w') as sf: +with open(save, "w") as sf: sf.write(str(libsize)) - |