diff options
| author | Sylvain Joubert <joubert.sy@gmail.com> | 2017-07-04 11:10:19 (GMT) |
|---|---|---|
| committer | Sylvain Joubert <joubert.sy@gmail.com> | 2017-07-07 13:46:35 (GMT) |
| commit | c7d81e16cb0f2023098ca64e33a4408b8ba80287 (patch) | |
| tree | 941bbfc13022394d5c4073bea6b7a5486e25b965 /Help/command/file.rst | |
| parent | 2ef3527dfe03ac6e5f5c49d13d99b2304381b0a8 (diff) | |
| download | CMake-c7d81e16cb0f2023098ca64e33a4408b8ba80287.zip CMake-c7d81e16cb0f2023098ca64e33a4408b8ba80287.tar.gz CMake-c7d81e16cb0f2023098ca64e33a4408b8ba80287.tar.bz2 | |
Help: Explicitly state that some file generations are lazy
Fixes: #16856
Diffstat (limited to 'Help/command/file.rst')
| -rw-r--r-- | Help/command/file.rst | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Help/command/file.rst b/Help/command/file.rst index 7afb715..97466ff 100644 --- a/Help/command/file.rst +++ b/Help/command/file.rst @@ -306,8 +306,8 @@ from the input content to produce the output content. The options are: Exactly one ``CONTENT`` or ``INPUT`` option must be given. A specific ``OUTPUT`` file may be named by at most one invocation of ``file(GENERATE)``. -Generated files are modified on subsequent cmake runs only if their content -is changed. +Generated files are modified and their timestamp updated on subsequent cmake +runs only if their content is changed. Note also that ``file(GENERATE)`` does not create the output file until the generation phase. The output file will not yet have been written when the |