Fix build with BUILD_LIBRARY_FOR_DISTRIBUTION#82

Merged

guoyingtao merged 1 commit intoguoyingtao:masterfrom NikolayJuly:patch-1

Feb 4, 2021

+5-4

Commits on Feb 1, 2021

Fix build with build for distribution
NikolayJuly
authored