def do_copy_with_hash(*args):
    """Copy files with a cache-busting hash.  Used in tests/gold/html/Makefile."""
    from coverage.html import copy_with_cache_bust
    *srcs, dest_dir = args
    for src in srcs:
        copy_with_cache_bust(src, dest_dir)
Copy files with a cache-busting hash.  Used in tests/gold/html/Makefile.
igor.py