Merge pull request #60 from zchunk/fix-argp-alpine
authorJonathan Dieter <jdieter@gmail.com>
Sat, 8 Jan 2022 22:03:58 +0000 (22:03 +0000)
committerGitHub <noreply@github.com>
Sat, 8 Jan 2022 22:03:58 +0000 (22:03 +0000)
commit8fcd737d6a1098aaa7f49ada066fe6f30400ba70
treeba54500680ee606c6d73700ff11ea4ad3ed85b30
parent6b85d864798c10e2c4a1902bd5be1b07e1afee3e
parenta03311cd6cff69fb96ebd04b84ab0994c2c90105
Merge pull request #60 from zchunk/fix-argp-alpine

Verify that include directory exists before trying to include it