Home
last modified time | relevance | path

Searched refs:header (Results 1 – 2 of 2) sorted by relevance

/scripts/
A Dcheck-wrapper-headers.py59 for header in args.headers:
60 if not (header.startswith('bits/')
62 or header in generated):
64 .format(header, INCLUDE))
71 for header in args.headers:
73 if header.endswith(".x"):
76 is_nonsysdep_header = os.access(header, os.R_OK)
79 if header.startswith("finclude/"):
82 include_path = os.path.join(args.root, INCLUDE, header)
85 os.path.join(INCLUDE, header),
[all …]
A Dcheck-installed-headers.sh56 for header in "$@"; do
58 case "$header" in
100 echo :: "$header"

Completed in 6 milliseconds