Re: [sr-dev] make appears to be in infinite loop