diff options
| -rw-r--r-- | rtems/config/tools/rtems-tools-4.11-1.cfg | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/rtems/config/tools/rtems-tools-4.11-1.cfg b/rtems/config/tools/rtems-tools-4.11-1.cfg index b1344b7..ffc7726 100644 --- a/rtems/config/tools/rtems-tools-4.11-1.cfg +++ b/rtems/config/tools/rtems-tools-4.11-1.cfg @@ -2,7 +2,7 @@ # RTEMS Tools for 4.11. # -%define rtems_tools_version fdb1fe685ab60de784b5f20413fe54cd70a01ff2 +%define rtems_tools_version 2015c854c54ac13d3712ddb58e946659dcc617dc # # The RTEMS Tools build instructions. We use GIT Release 1. |