make check-old warnings

[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 warning: $5bZ�
> : No such file or directory.

This warning is not exclusive from check-old. IF I just run:

# make -V ANY_VARIABLE_HERE
make warning: $5bZ
: No such file of directory
VALUE_OF_ANY_VARIABLE_HERE

-- 
Renato Botelho