diff options
| author | Mathieu Bridon <[email protected]> | 2018-06-01 15:02:21 +0200 |
|---|---|---|
| committer | Eric Engestrom <[email protected]> | 2018-08-01 14:26:19 +0100 |
| commit | 8678fe537a5eeb9a537fc540672bf375e802c004 (patch) | |
| tree | 71a931651cbacad9150d468b76f229589799c875 /src/gbm/gbm-symbols-check | |
| parent | c24d82696867da13360f23abecf130e839da8b0f (diff) | |
python: Use open(), not file()
The latter is a constructor for file objects, but when actually opening
a file, using the former is more idiomatic.
In addition, file() is not a builtin any more in Python 3, so this makes
the script compatible with both Python 2 and Python 3.
Signed-off-by: Mathieu Bridon <[email protected]>
Reviewed-by: Eric Engestrom <[email protected]>
Reviewed-by: Dylan Baker <[email protected]>
Diffstat (limited to 'src/gbm/gbm-symbols-check')
0 files changed, 0 insertions, 0 deletions