diff options
author | Jack Lloyd <[email protected]> | 2020-11-05 03:47:06 -0500 |
---|---|---|
committer | Jack Lloyd <[email protected]> | 2020-11-06 11:31:22 -0500 |
commit | a55e4b22b6cbeeb30ca787d4ea4e3933ccccbdf1 (patch) | |
tree | 3d066440f30d30a46179caded3f1273d06a4dd95 /configure.py | |
parent | 7c27982e27b953682554de3c4b22843e0e7461e7 (diff) |
Remove deprecated headers, make more headers internal
Now modules default to internal headers instead of defaulting to public; making
a new public API should be a visible and intentional choice.
Brings the public header count from over 300 to around 150.
Also removes the deprecated tls_blocking interface
Diffstat (limited to 'configure.py')
-rwxr-xr-x | configure.py | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/configure.py b/configure.py index a8ab62536..ae2a60ede 100755 --- a/configure.py +++ b/configure.py @@ -837,10 +837,10 @@ class ModuleInfo(InfoObject): self.source = all_source_files - # If not entry for the headers, all are assumed public + # If not entry for the headers, all are assumed internal if lex.header_internal == [] and lex.header_public == []: - self.header_public = list(all_header_files) - self.header_internal = [] + self.header_public = [] + self.header_internal = list(all_header_files) else: self.header_public = lex.header_public self.header_internal = lex.header_internal |