diff options
| author | Richard Braun <rbraun@sceen.net> | 2018-02-24 16:38:08 +0100 |
|---|---|---|
| committer | Richard Braun <rbraun@sceen.net> | 2018-02-24 16:53:44 +0100 |
| commit | a220b0535cffdab057ed0031b3b4631f15d2e5a9 (patch) | |
| tree | 3192b95230c936fa35c2c98b69a29d19f7923cf8 /tools | |
| parent | ed0001727225b9acd84420156d3b18820c7a11f5 (diff) | |
tools/build_configs.py: break python2 compatibility
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/build_configs.py | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/tools/build_configs.py b/tools/build_configs.py index cd71459..4c5eb9f 100755 --- a/tools/build_configs.py +++ b/tools/build_configs.py @@ -1,4 +1,4 @@ -#!/usr/bin/env python +#!/usr/bin/env python3 ''' Configuration builder. @@ -6,8 +6,6 @@ Generate a large number of valid configurations, build them concurrently, and report. ''' -from __future__ import print_function - import itertools import multiprocessing import os |