diff options
| -rw-r--r-- | rtems/config/tools/rtems-kernel-4.12.cfg | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/rtems/config/tools/rtems-kernel-4.12.cfg b/rtems/config/tools/rtems-kernel-4.12.cfg index a841d63..8ed8392 100644 --- a/rtems/config/tools/rtems-kernel-4.12.cfg +++ b/rtems/config/tools/rtems-kernel-4.12.cfg @@ -2,7 +2,7 @@ # RTEMS 4.12 # - # - # The RTEMS build instructions. We use 4.xx Release 1. - # +# +# The RTEMS build instructions. We use 4.xx Release 1. +# %include tools/rtems-kernel-4-1.cfg |