mirror of
https://github.com/nasa/trick.git
synced 2024-12-30 09:58:53 +00:00
f5b30a4841
Fixed the problem where library dependencies for header and source files are saved to the same file and half are lost. Did this by not removing the suffix when creating the library dependency file name. refs #128 |
||
|---|---|---|
| .. | ||
| trick | ||