diff options
Diffstat (limited to 'tools/sancov/coverage-report-server.py')
| -rwxr-xr-x | tools/sancov/coverage-report-server.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tools/sancov/coverage-report-server.py b/tools/sancov/coverage-report-server.py index a2e161d0de58..2fb70eecfcfa 100755 --- a/tools/sancov/coverage-report-server.py +++ b/tools/sancov/coverage-report-server.py @@ -22,6 +22,8 @@ Other options: --host host_name - host name to bind server to (127.0.0.1) ''' +from __future__ import print_function + import argparse import http.server import json |