• clean_coverage.sh: Use portable shebang

    hartwork committed Jul 20, 2019