mirror of
https://git.rtems.org/rtems-tools/
synced 2025-06-04 03:34:16 +08:00

- Add support for user condfigurations files with the --user-config. - Add support for a $HOME/.rtemstesterrc for a user configuration. Closes #3204.