Hi Peter, On Sat, Apr 13, 2013 at 05:15:30PM -0700, Peter Foley <pefoley2@verizon.net> wrote:
commit ffe09728cb829016dbbe24ffc5ed10cfc15cfd5c
Author: Peter Foley <pefoley2@verizon.net>
Date: Sat Apr 13 17:11:26 2013 -0400
adapt gdb pretty-printers to libmerged
Change-Id: I80236f3c69abe713ddfa8111e8ff76f83954def4
This broke pretty-printers here, using a non-libmerged build. On master, simply no -gdb.py is installed: $ ls -l solver/*/lib/libswlo* -rwxr-xr-x 1 vmiklos users 280466633 ápr 15 08:19 solver/unxlngx6/lib/libswlo.so Correct output on -4-0: $ ls -l solver/*/lib/libswlo* -rwxr-xr-x 1 vmiklos users 22337100 ápr 13 13:53 solver/unxlngx6/lib/libswlo.so -rw-r--r-- 1 vmiklos users 1617 márc 4 09:56 solver/unxlngx6/lib/libswlo.so-gdb.py After I reverted this commit and did a make dev-install, pretty-printers work again. Could you please look into this? Thanks, Miklos
Attachment:
signature.asc
Description: Digital signature