Do not expand the contract macro of the buffer for the coverage.

This commit is contained in:
Patrick Pelissier committed 2017-07-19 22:39:00 +02:00
1 parent b241933556
commit 8a0755b863
1 file changed
+1
+1
View File
@@ -54,6 +54,7 @@
#undef DICTI_CONTRACT #undef DICTI_CONTRACT
#undef DICTI_OA_CONTRACT #undef DICTI_OA_CONTRACT
#undef SHAREDI_CONTRACT #undef SHAREDI_CONTRACT
#undef BUFFERI_CONTRACT
#else #else
/* For normal builds, empty macros which does nothing */ /* For normal builds, empty macros which does nothing */
#define START_COVERAGE #define START_COVERAGE