Merge pull request #6278 from Dmitri-Botcharnikov/feature-gdbjit
authornoahfalk <noahfalk@users.noreply.github.com>
Thu, 28 Jul 2016 07:15:54 +0000 (00:15 -0700)
committerGitHub <noreply@github.com>
Thu, 28 Jul 2016 07:15:54 +0000 (00:15 -0700)
commitd81d773312dcae24d0b5d56cb972bf71e22f856c
tree664e70ddc194cebb7b235a24193c9f9f2006c1b4
parentf30a8de1dc0190dedded08a6f03951ecc1a17604
parent27e570de343590fb99a1d9862668ab13843e42be
Merge pull request #6278 from Dmitri-Botcharnikov/feature-gdbjit

[Linux] GDB JIT support for source line debug information.
src/vm/util.cpp