diff options
author | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2019-12-03 08:16:23 +0100 |
---|---|---|
committer | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2019-12-03 08:16:23 +0100 |
commit | e26d86f32b5a66615724a618899942f909cb8b4a (patch) | |
tree | 41985ebfdef91cc8a0f289827e4382a9531265c6 /rtems/config/tools/rtems-gcc-head-newlib-head.cfg | |
parent | Be more resilient against $PATH errors (diff) | |
download | rtems-source-builder-e26d86f32b5a66615724a618899942f909cb8b4a.tar.bz2 |
Use user ID number instead of name
This helps to avoid issues with user names which contain space
characters.
Close #3830.
Diffstat (limited to 'rtems/config/tools/rtems-gcc-head-newlib-head.cfg')
0 files changed, 0 insertions, 0 deletions