echo "OUTDIR: directory to write each userspace header FILE to." echo "SRCDIR: source directory where files are picked." echo "FILES: list of header files to operate on." ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results