diff options
Diffstat (limited to 'rtems/config/4.12/rtems-tools.bset')
| -rw-r--r-- | rtems/config/4.12/rtems-tools.bset | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/rtems/config/4.12/rtems-tools.bset b/rtems/config/4.12/rtems-tools.bset deleted file mode 100644 index 6332b5c..0000000 --- a/rtems/config/4.12/rtems-tools.bset +++ /dev/null @@ -1,17 +0,0 @@ -# -# Tools Set for RTEMS 4.12 Tools Stable -# - -%define release 1 - -# -# We need an arch defined for the common RTEMS files to work. -# -%define rtems_arch tools - -# -# The RTEMS base defines. -# -%include rtems-base.bset - -tools/rtems-tools-4.12-1 |