Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Ensure stable file prefixes in the *_gnu import libraries
For some reason, the import libraries currently in the repository don't match what running the tool_gnu command produces, due to the use of different prefixes. This adjusts the command to produce the same prefixes as the ones currently in the import libraries from the repository.
- Loading branch information