diff options
author | Nick Mathewson <nickm@torproject.org> | 2013-09-03 15:44:13 -0400 |
---|---|---|
committer | Nick Mathewson <nickm@torproject.org> | 2013-09-03 15:44:13 -0400 |
commit | 11352b0ce152624553c7e698242144c2470db362 (patch) | |
tree | b08b91aeb56e06ca5d718c0288fa2c769316c21a | |
parent | 9b2a0f5c755b0dc4a93c6a77e3f6bdb59a3ba96c (diff) | |
download | tor-11352b0ce152624553c7e698242144c2470db362.tar.gz tor-11352b0ce152624553c7e698242144c2470db362.zip |
Add a clarification to gcov instructions
-rw-r--r-- | doc/HACKING | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/HACKING b/doc/HACKING index b4d258612e..9f9e6447b7 100644 --- a/doc/HACKING +++ b/doc/HACKING @@ -133,6 +133,7 @@ line was never reached. Lines with numbers were called that number of times. If that doesn't work: * Try configuring Tor with --disable-gcc-hardening + * You might need to run 'make clean' after you run './configure'. Profiling Tor with oprofile ~~~~~~~~~~~~~~~~~~~~~~~~~~~ |