diff options
Diffstat (limited to 'Help/command/add_custom_command.rst')
| -rw-r--r-- | Help/command/add_custom_command.rst | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Help/command/add_custom_command.rst b/Help/command/add_custom_command.rst index 1307a58..e646c56 100644 --- a/Help/command/add_custom_command.rst +++ b/Help/command/add_custom_command.rst @@ -147,7 +147,7 @@ The options are: ``USES_TERMINAL`` The command will be given direct access to the terminal if possible. With the :generator:`Ninja` generator, this places the command in - the ``console`` pool. + the ``console`` :prop_gbl:`pool <JOB_POOLS>`. ``VERBATIM`` All arguments to the commands will be escaped properly for the |