diff options
author | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2020-03-17 15:00:32 +0100 |
---|---|---|
committer | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2020-03-17 15:05:32 +0100 |
commit | 5e54ffe8191970ff496a03176128e2880a447314 (patch) | |
tree | 1f823da9081bb6e9b5aec5e905d08a5eda60eaf0 | |
parent | c-user: Fix sorting in filesystem configuration (diff) | |
download | rtems-docs-5e54ffe8191970ff496a03176128e2880a447314.tar.bz2 |
c-user: Add configuration option index entry
Update #3836.
-rw-r--r-- | c-user/config/general.rst | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/c-user/config/general.rst b/c-user/config/general.rst index bf8dcba..ab86e4b 100644 --- a/c-user/config/general.rst +++ b/c-user/config/general.rst @@ -589,6 +589,8 @@ NOTES: you run out of all available memory rather then just until you run out of RTEMS Workspace. +.. index:: CONFIGURE_UNLIMITED_ALLOCATION_SIZE + .. _CONFIGURE_UNLIMITED_ALLOCATION_SIZE: CONFIGURE_UNLIMITED_ALLOCATION_SIZE |