diff options
-rw-r--r-- | doc/MANUAL.adoc | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/MANUAL.adoc b/doc/MANUAL.adoc index 39f2adc9..31651f50 100644 --- a/doc/MANUAL.adoc +++ b/doc/MANUAL.adoc @@ -1591,8 +1591,8 @@ The depend mode will be disabled if any of the following holds: == Handling of newly created header files If modification time (mtime) or status change time (ctime) of one of the include -files is the same second as the time compilation is being done, ccache disables -the direct mode (or, in the case of a <<Precompiled headers,precompiled +files is equal to (or newer than) the time compilation is being done, ccache +disables the direct mode (or, in the case of a <<Precompiled headers,precompiled header>>, disables caching completely). This done as a safety measure to avoid a race condition (see below). |