diff options
author | Chris Johns <chrisj@rtems.org> | 2016-09-06 16:40:34 +1000 |
---|---|---|
committer | Chris Johns <chrisj@rtems.org> | 2016-09-06 16:40:34 +1000 |
commit | 7cdf3191488b1d5b7863d78cae10a28d51a9dfcf (patch) | |
tree | 8f956935fc5a8d75f09a88cc049e69745e31d730 /rtems | |
parent | doc: update with version information (diff) | |
download | rtems-source-builder-7cdf3191488b1d5b7863d78cae10a28d51a9dfcf.tar.bz2 |
Fix comments.
Diffstat (limited to 'rtems')
-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 |