mirror of
https://github.com/crosstool-ng/crosstool-ng.git
synced 2025-05-23 02:54:02 +00:00
Fix discrepancy between the directory we create, and the directory into which we install tic.
Fix discrepancy between the directory we create, and the directory into which we install tic.