Skip to content

Commit c3fc357

Browse files
authored
Assert that include directory exists in Ports.install_headers. NFC (#17495)
This is an attempt to help debug #17060.
1 parent 1d840ce commit c3fc357

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

tools/ports/__init__.py

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -85,6 +85,7 @@ def install_header_dir(src_dir, target=None):
8585
def install_headers(src_dir, pattern='*.h', target=None):
8686
logger.debug('install_headers')
8787
dest = Ports.get_include_dir()
88+
assert os.path.exists(dest)
8889
if target:
8990
dest = os.path.join(dest, target)
9091
shared.safe_ensure_dirs(dest)

0 commit comments

Comments
 (0)