On Sun, 13 Dec 2015 01:35:02 +0100, Mattias Gaertner <nc-gaertnma at netcologne.de> wrote: >On Sat, 12 Dec 2015 15:32:15 +0100 >Bo Berglund <bo.berglund at gmail.com> wrote: > >> What is the difference between useride and bigide? > >See 'make help' for the parameters. Learning every day! Good call. -- Bo Berglund Developer in Sweden