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