* vxaddr2line.adb: Add support for x86 vxworks
authorArnaud Charlet <charlet@gcc.gnu.org>
Wed, 8 Dec 2004 11:49:07 +0000 (12:49 +0100)
committerArnaud Charlet <charlet@gcc.gnu.org>
Wed, 8 Dec 2004 11:49:07 +0000 (12:49 +0100)
commit4e8c0836b4fd5d08cc776a07a134796f0b405808
tree758b8b11604ba12d6668dcb26434a8b64c13bea6
parentbc41faa231ce34036ff2217d887f75357f0aee77
* vxaddr2line.adb: Add support for x86 vxworks

From-SVN: r91895
gcc/ada/vxaddr2line.adb