David Howells <dhowells@redhat.com> writes:> Rusty Russell <rusty@rustcorp.com.au> wrote:>>> - source ./.config>> + . ./.config>> Does that make a difference?It does on Ubuntu, where /bin/sh => dash. "source" is a bashism.Cheers,Rusty.