diff options
Diffstat (limited to 'rtems/config/tools/rtems-tools-4.11-1.cfg')
| -rw-r--r-- | rtems/config/tools/rtems-tools-4.11-1.cfg | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/rtems/config/tools/rtems-tools-4.11-1.cfg b/rtems/config/tools/rtems-tools-4.11-1.cfg new file mode 100644 index 0000000..b1344b7 --- /dev/null +++ b/rtems/config/tools/rtems-tools-4.11-1.cfg @@ -0,0 +1,10 @@ +# +# RTEMS Tools for 4.11. +# + +%define rtems_tools_version fdb1fe685ab60de784b5f20413fe54cd70a01ff2 + +# +# The RTEMS Tools build instructions. We use GIT Release 1. +# +%include tools/rtems-tools-1.cfg |