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 | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/rtems/config/tools/rtems-tools-4.11-1.cfg b/rtems/config/tools/rtems-tools-4.11-1.cfg deleted file mode 100644 index 67f8fe2..0000000 --- a/rtems/config/tools/rtems-tools-4.11-1.cfg +++ /dev/null @@ -1,17 +0,0 @@ -# -# RTEMS Tools for 4.11. -# - -# -# The RTEMS Tools version is set to the RSB version or the RTEMS version. -# -%if %{rsb_released} - %define rtems_tools_version %{rsb_version} -%else - %define rtems_tools_version %{rtems_version} -%endif - -# -# The RTEMS Tools build instructions. We use GIT Release 1. -# -%include tools/rtems-tools-1.cfg |