From c47a7e4f27baa2203da748ca9f927f9bc17ccd8d Mon Sep 17 00:00:00 2001 From: Jasper Hugunin Date: Wed, 4 Jul 2018 11:23:13 -0700 Subject: Convert timing tools to run with both python2 and python3 --- tools/make-both-time-files.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'tools/make-both-time-files.py') diff --git a/tools/make-both-time-files.py b/tools/make-both-time-files.py index 643429679..f730a8d6b 100755 --- a/tools/make-both-time-files.py +++ b/tools/make-both-time-files.py @@ -1,4 +1,4 @@ -#!/usr/bin/env python2 +#!/usr/bin/env python import sys from TimeFileMaker import * -- cgit v1.2.3