diff --git a/configure/CONFIG_SITE b/configure/CONFIG_SITE index b0a23c3..ebc5310 100644 --- a/configure/CONFIG_SITE +++ b/configure/CONFIG_SITE @@ -29,6 +29,6 @@ USR_LDFLAGS += --coverage endif ifdef WITH_MICROBENCH -USR_CPPFLAGS += -DPV_MB +USR_CPPFLAGS += -DWITH_MICROBENCH endif