diff options
Diffstat (limited to 'docs/ProgrammersManual.html')
| -rw-r--r-- | docs/ProgrammersManual.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/ProgrammersManual.html b/docs/ProgrammersManual.html index 1ac08b42f4..56751e2bd4 100644 --- a/docs/ProgrammersManual.html +++ b/docs/ProgrammersManual.html @@ -388,7 +388,7 @@ argument: </p> <p> </p> <pre> $ opt < a.bc > /dev/null -mypass<br> <no output><br> $ opt < a.bc > /dev/null -mypass -debug<br> I am here!<br> $<br></pre> <p> Using the <tt>DEBUG()</tt> macro instead of a home-brewed solution -allows you to now have to create "yet another" command line option for +allows you to not have to create "yet another" command line option for the debug output for your pass. Note that <tt>DEBUG()</tt> macros are disabled for optimized builds, so they do not cause a performance impact at all (for the same reason, they should also not contain |