diff options
-rw-r--r-- | docs/MakefileGuide.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/MakefileGuide.html b/docs/MakefileGuide.html index 8e552484ab..ad44be890e 100644 --- a/docs/MakefileGuide.html +++ b/docs/MakefileGuide.html @@ -626,7 +626,7 @@ <dd>If set to any value, causes a bitcode library (.bc) to be built.</dd> <dt><a name="CONFIG_FILES"><tt>CONFIG_FILES</tt></a></dt> <dd>Specifies a set of configuration files to be installed.</dd> - <dt><a name="DEBUG_RUNTIME"><tt>DEBUG_RUNTIME</tt></a></dt> + <dt><a name="DEBUG_SYMBOLS"><tt>DEBUG_SYMBOLS</tt></a></dt> <dd>If set to any value, causes the build to include debugging symbols even in optimized objects, libraries and executables. This alters the flags specified to the compilers and linkers. Debugging |