From 5e54ffe8191970ff496a03176128e2880a447314 Mon Sep 17 00:00:00 2001 From: Sebastian Huber Date: Tue, 17 Mar 2020 15:00:32 +0100 Subject: [PATCH] c-user: Add configuration option index entry Update #3836. --- c-user/config/general.rst | 2 ++ 1 file changed, 2 insertions(+) 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