Name | Size | |
---|---|---|
Parent Directory | - | |
bootstrap_headers.sh | 952 | |
bootstrap_sources.sh | 190 | |
derived_headers.sh | 1.5K | |
derived_sources.sh | 1.8K | |
fix_bin.sh | 634 | |
fix_man.sed | 289 | |
install_headers.sh | 558 | |
install_man_misc.sh | 1.5K | |
link_libs.sh | 862 | |
native_execs.sh | 455 | |
run_tic.sh | 675 | |