Re: [apache/incubator-teaclave] Fix building issue when source is not in the git repo (#422)

Merged #422 into master. -- You are receiving this because you are subscribed to this thread. Reply to this email directly or view it on GitHub: https://github.com/apache/incubator-teaclave/pull/422#event-3822027555

[apache/incubator-teaclave] Fix building issue when source is not in the git repo (#422)

## Description Fix building issue when source is not in the git repo. You can view, comment on, or merge this pull request online at: https://github.com/apache/incubator-teaclave/pull/422 -- Commit Summary -- * Fix building issue when source is not in the git repo -- File Changes -- M