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

/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/
H A Dgenerate-ios-source-and-headers.py13 sdk_re = re.compile(r'.*-sdk ([a-zA-Z0-9.]*)') variable
31 match = sdk_re.match(line)
H A Dgenerate-osx-source-and-headers.py12 sdk_re = re.compile(r'.*-sdk ([a-zA-Z0-9.]*)') variable
28 match = sdk_re.match(line)

Completed in 78 milliseconds