diff options
author | midipix <writeonce@midipix.org> | 2021-05-26 21:27:03 +0000 |
---|---|---|
committer | midipix <writeonce@midipix.org> | 2021-05-26 21:28:47 +0000 |
commit | f0c7b47e684c141673bda6b24b95a1762a5c2311 (patch) | |
tree | 23b3d642369e2cde11cb7456a79354a825dc1f3d /project/w32def/w32def.sh | |
parent | 42a52f936f5a78f55bb1142829f938a3ad2e928e (diff) | |
download | w32lib-f0c7b47e684c141673bda6b24b95a1762a5c2311.tar.bz2 w32lib-f0c7b47e684c141673bda6b24b95a1762a5c2311.tar.xz |
build system: cfgtest_header_absence(): output name of missing header.
Diffstat (limited to 'project/w32def/w32def.sh')
0 files changed, 0 insertions, 0 deletions