Re: Extra file in DESTDIR with MKRUMP=no

[Ian D. Leroux]

On Thu, Aug 27, 2015, at 14:38, Robert Swindells wrote:
> The set list is wrong.
> 
> I fixed this locally a while ago but didn't commit it, sorry.
> 
> Will add it now.

Thanks for the quick answer.

--
IDL