Function strip_prefix

scripts/generate_build_files.py:278–279

(filename, prefix = "src/")

    # -------------------------------------

    def strip_prefix(filename, prefix = "src/"):
        return filename[len(prefix):] if filename.startswith(prefix) else filename

    graph_files = sorted([strip_prefix(path, "src/") for path in graph_files])
    lib_files_sve = sorted([strip_prefix(path, "src/") for path in lib_files_sve])