d508e22 generate-runtime-report.py: Handle files with a space in the name

Authored and Committed by Owen W. Taylor 5 years ago
    generate-runtime-report.py: Handle files with a space in the name