# mach/shared_region.h is private in some SDKs and public in others. # Do a grossly simplified version of what the compiler does to find it. /bin/echo -n "#define X86 ...
# Define config specifications: "config_name:output_file:config_arg" echo "# in which it invokes 'python3 scripts/print_cfg.py --cfg job ${config_arg}' to flatten the ...