diff options
author | lloyd <[email protected]> | 2013-03-09 16:27:13 +0000 |
---|---|---|
committer | lloyd <[email protected]> | 2013-03-09 16:27:13 +0000 |
commit | 33c0c05989f9c024ab46d176c2cc1177c3c9d6ec (patch) | |
tree | 7c08143de52fc1ce3836f11e1573406f50be15f5 /src | |
parent | 93ac5d318199794c6d4439f00f3e7e03ef250af4 (diff) |
src/utils/semaphore.h was marked both public and internal, which broke
the amalgamation build. Add a check that warns if we do this again,
and some more logging in the amalgamation generator.
Diffstat (limited to 'src')
-rw-r--r-- | src/utils/info.txt | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/utils/info.txt b/src/utils/info.txt index cc056fc69..f8202c626 100644 --- a/src/utils/info.txt +++ b/src/utils/info.txt @@ -34,7 +34,6 @@ loadstor.h mem_ops.h parsing.h rotate.h -semaphore.h types.h version.h </header:public> |