diff options
| author | Craig Scott <craig.scott@crascit.com> | 2020-05-10 06:33:59 (GMT) |
|---|---|---|
| committer | Kitware Robot <kwrobot@kitware.com> | 2020-05-10 06:34:25 (GMT) |
| commit | 8afac758e6e793a0f004ce2693b0096362391cd9 (patch) | |
| tree | 3b13559c2405a5cd32cd4f6479b058bedb6ab010 /Help | |
| parent | edbbd6746117dd1a8beba45ff7ad8670f87cf5c1 (diff) | |
| parent | 36a6d9101179827744cfe23bcf5381e8e71a16cd (diff) | |
| download | CMake-8afac758e6e793a0f004ce2693b0096362391cd9.zip CMake-8afac758e6e793a0f004ce2693b0096362391cd9.tar.gz CMake-8afac758e6e793a0f004ce2693b0096362391cd9.tar.bz2 | |
Merge topic 'doc-option-existing-var'
36a6d91011 Help: If a cache variable exists, option() also does nothing
Acked-by: Kitware Robot <kwrobot@kitware.com>
Merge-request: !4721
Diffstat (limited to 'Help')
| -rw-r--r-- | Help/command/option.rst | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Help/command/option.rst b/Help/command/option.rst index 8956307..02b8dac 100644 --- a/Help/command/option.rst +++ b/Help/command/option.rst @@ -9,7 +9,7 @@ Provide an option that the user can optionally select. Provides an option for the user to select as ``ON`` or ``OFF``. If no initial ``<value>`` is provided, ``OFF`` is used. -If ``<variable>`` is already set as a normal variable +If ``<variable>`` is already set as a normal or cache variable, then the command does nothing (see policy :policy:`CMP0077`). If you have options that depend on the values of other options, see |