Hi I'm not sure how often the GNU tools mirrors are updated for RTEMS at GitHub but it would be appreciated if the frequency could be increased. It seems to add a day to any tool update that requires using a git hash since the mirroring takes a while after the commit.
I was updating the mips tx39 gdb hash and noticed this again. Thanks. --joel
_______________________________________________ devel mailing list devel@rtems.org http://lists.rtems.org/mailman/listinfo/devel
