diff options
| author | Jack Lloyd <[email protected]> | 2016-12-11 13:58:52 -0500 |
|---|---|---|
| committer | Jack Lloyd <[email protected]> | 2016-12-11 13:58:52 -0500 |
| commit | 75a9e078c42e237409b100be097032548f2974fe (patch) | |
| tree | a42cd837eeace015287789ac4f938678a0ea5f0f /src/lib | |
| parent | 17c15db0ba713593c03700ebcd48b8f66997fc9c (diff) | |
Simplify logic in configure for listing out files
Add a check that the same header is not both public and internal.
[ci skip]
Diffstat (limited to 'src/lib')
0 files changed, 0 insertions, 0 deletions