mirror of
https://github.com/crosstool-ng/crosstool-ng.git
synced 2025-02-21 01:21:27 +00:00
After the toolchain is built, we do no longer need the headers. Reported-by: Enrico Weigelt <weigelt@metux.de>
After the toolchain is built, we do no longer need the headers. Reported-by: Enrico Weigelt <weigelt@metux.de>