mirror of
https://git.rtems.org/rtems-source-builder
synced 2024-10-09 07:15:10 +08:00

Optional arguments were not being included in the valid list of options being checked so `--mail` resulted in being unknown.
Optional arguments were not being included in the valid list of options being checked so `--mail` resulted in being unknown.