Alistair Francis 4f88b38097 Convert Python scripts to Python 3 ... Change all of the #! lines in Python scripts that are called from Makefiles to reference /usr/bin/python3. All of the scripts called from Makefiles are already run with Python 3, so let's make sure they are explicitly using Python 3 if called manually.		2020-03-03 15:52:09 -08:00
..
bench.py	Convert Python scripts to Python 3	2020-03-03 15:52:09 -08:00
benchout_strings.schema.json
benchout.schema.json
compare_bench.py
compare_strings.py
import_bench.py
plot_strings.py
validate_benchout.py	Convert Python scripts to Python 3	2020-03-03 15:52:09 -08:00