diff options
Diffstat (limited to 'docs/storage-mgt')
-rw-r--r-- | docs/storage-mgt/rp.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/storage-mgt/rp.tex b/docs/storage-mgt/rp.tex index 199b284b19..ced5c0cd4f 100644 --- a/docs/storage-mgt/rp.tex +++ b/docs/storage-mgt/rp.tex @@ -204,7 +204,7 @@ ways of building executable programs from source files: normal way and profiling way. We are concerned only about profiling way, and all the pieces of code implementing profiling way are wrapped by the @PROFILING@ -pre-processing directive (as in @\#ifdef PROFILING@). +pre-processing directive (as in @\#if defined(PROFILING)@). Therefore, all the additions and changes that we make to the source code are assumed to be wrapped by the @PROFILING@ pre-processing directive as well unless otherwise mentioned.} |