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)
Verify that include directory exists before trying to include it


Trivial merge