diff options
Diffstat (limited to 'doc/tools')
-rwxr-xr-x | doc/tools/convert_papermode_to_metadata.py | 2 | ||||
-rwxr-xr-x | doc/tools/performance_test.py | 5 |
2 files changed, 4 insertions, 3 deletions
diff --git a/doc/tools/convert_papermode_to_metadata.py b/doc/tools/convert_papermode_to_metadata.py index e4010a73..57459097 100755 --- a/doc/tools/convert_papermode_to_metadata.py +++ b/doc/tools/convert_papermode_to_metadata.py @@ -1,4 +1,4 @@ -#!/bin/python +#!/usr/bin/env python """ usage: ./convert_papermode_to_metadata.py diff --git a/doc/tools/performance_test.py b/doc/tools/performance_test.py index f9562f0c..3b9099d5 100755 --- a/doc/tools/performance_test.py +++ b/doc/tools/performance_test.py @@ -1,6 +1,7 @@ -#!/usr/bin/python -# pylint: disable=wrong-import-position +#!/usr/bin/env python + from __future__ import (absolute_import, division, print_function) + import sys import time |