Fixes #3827
---
rtems/config/tools/rtems-tools-5-1.cfg | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/rtems/config/tools/rtems-tools-5-1.cfg
b/rtems/config/tools/rtems-tools-5-1.cfg
index c633093..89e5d19 100644
--- a/rtems/config/tools/rtems-tools-5-1.cfg
+++ b/rtems/config/tools/rtems-tools-5-1.cfg
@@ -10,7 +10,7 @@
%define rtems_tools_source rtems-tools-%{rtems_tools_version}
%define rtems_tools_ext xz
%else
- %define rtems_tools_version 12bd8f77bad4779319039fd7be33d006e10f5618
+ %define rtems_tools_version c02459ee6533e73ac7b65f50f08ec254a0e6e84c
%define rtems_tools_ext bz2
%endif
--
2.17.1
_______________________________________________
devel mailing list
devel@rtems.org
http://lists.rtems.org/mailman/listinfo/devel
