Merge pull request #1757 from jiegec/fix-emcc
authorMiodrag Milanović <mmicko@gmail.com>
Thu, 12 Mar 2020 10:16:28 +0000 (12:16 +0200)
committerGitHub <noreply@github.com>
Thu, 12 Mar 2020 10:16:28 +0000 (12:16 +0200)
commitd38098e5fa4ba6b27a67c0069f9134c6cbdbb68b
tree6827be0f104a347e031a38cd0737bfba547e8e3c
parentdd8ebf7873eadab9c6d0fba8c4ed25eb88acbb8f
parent26137d8bb70cea1f2de16346e883ec5c43754145
Merge pull request #1757 from jiegec/fix-emcc

Fix compilation for emcc