mirror of
https://git.rtems.org/rtems-source-builder
synced 2024-10-09 07:15:10 +08:00
12 lines
248 B
INI
12 lines
248 B
INI
#
|
|
# RTEMS Tools for 4.11.
|
|
#
|
|
|
|
# Wait for the release and until then track head.
|
|
# %define rtems_tools_version 2015c854c54ac13d3712ddb58e946659dcc617dc
|
|
|
|
#
|
|
# The RTEMS Tools build instructions. We use GIT Release 1.
|
|
#
|
|
%include tools/rtems-tools-1.cfg
|