Searched refs:headers_seen (Results 1 - 2 of 2) sorted by relevance

/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/
H A Dgenerate-ios-source-and-headers.py83 headers_seen = collections.defaultdict(set) variable
96 headers_seen[file].add(arch)
144 for header_name, archs in headers_seen.iteritems():
153 for header_name, archs in headers_seen.iteritems():
H A Dgenerate-osx-source-and-headers.py77 headers_seen = collections.defaultdict(set) variable
90 headers_seen[file].add(arch)
137 for header_name, archs in headers_seen.iteritems():
146 for header_name, archs in headers_seen.iteritems():

Completed in 45 milliseconds