Re: make check-old warnings

2017-05-05 Thread Renato Botelho
On 21/04/17 15:58, Renato Botelho wrote: > I've updated my laptop to r317256 and started to see some warnings when > I run make check-old: > > ❯ make check-old > make warning: $5bZ� > : No such file or directory. > make warning: $5bZ� > : No such file or directory. Checking for old files >

make check-old warnings

2017-04-21 Thread Renato Botelho
I've updated my laptop to r317256 and started to see some warnings when I run make check-old: ❯ make check-old make warning: $5bZ� : No such file or directory. make warning: $5bZ� : No such file or directory. >>> Checking for old files make warning: $5bZ� : No such file or directory. /usr/bin/gdb