Re: [PATCH] Use user ID number instead of name

> On 3 Dec 2019, at 6:17 pm, Sebastian Huber > wrote: > > This helps to avoid issues with user names which contain space > characters. Looks good. Please push. Thanks Chris ___ devel mailing list devel@rtems.org http://lists.rtems.org/mailman/lis

[PATCH] Use user ID number instead of name

This helps to avoid issues with user names which contain space characters. Close #3830. --- source-builder/defaults.mc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/source-builder/defaults.mc b/source-builder/defaults.mc index 7566bb5..8ed7003 100644 --- a/source-builder/def