diff configure @ 1483:add46e759c27 3.0-integration

No hit counts in release
author Chris Cannam
date Thu, 05 Jan 2017 14:38:11 +0000
parents 9401d021b47b
children 782025ae1249
line wrap: on
line diff
--- a/configure	Thu Jan 05 14:30:49 2017 +0000
+++ b/configure	Thu Jan 05 14:38:11 2017 +0000
@@ -4417,7 +4417,7 @@
 
 
 SV_DEFINES_DEBUG="-DDEBUG -DBUILD_DEBUG -DWANT_TIMING"
-SV_DEFINES_RELEASE="-DNDEBUG -DBUILD_RELEASE -DNO_TIMING"
+SV_DEFINES_RELEASE="-DNDEBUG -DBUILD_RELEASE -DNO_TIMING -DNO_HIT_COUNTS"
 SV_DEFINES_MINIMAL="$SV_DEFINES_RELEASE"
 
 # Now we have: USER_CXXFLAGS contains any flags the user set