summaryrefslogtreecommitdiff
path: root/src/tracing.h
diff options
context:
space:
mode:
Diffstat (limited to 'src/tracing.h')
-rw-r--r--src/tracing.h5
1 files changed, 5 insertions, 0 deletions
diff --git a/src/tracing.h b/src/tracing.h
index 9aa9216..1970556 100644
--- a/src/tracing.h
+++ b/src/tracing.h
@@ -3,8 +3,13 @@
#include <libopencm3/stm32/gpio.h>
+#ifndef VERIFICATION
#define TRACING_SET(i) gpio_set(GPIOD, (1<<i))
#define TRACING_CLEAR(i) gpio_clear(GPIOD, (1<<i))
+#else
+#define TRACING_SET(i) ((void)0)
+#define TRACING_CLEAR(i) ((void)0)
+#endif
enum tracing_channels {
TR_HID_MESSAGE_HANDLER = 0,