diff --git a/makefiles/tools/pyocd.inc.mk b/makefiles/tools/pyocd.inc.mk
index f8ba7c6547..12b7a8d727 100644
--- a/makefiles/tools/pyocd.inc.mk
+++ b/makefiles/tools/pyocd.inc.mk
@@ -3,7 +3,6 @@ DEBUGGER = $(RIOTBASE)/dist/tools/pyocd/pyocd.sh
 DEBUGSERVER = $(RIOTBASE)/dist/tools/pyocd/pyocd.sh
 RESET ?= $(RIOTBASE)/dist/tools/pyocd/pyocd.sh
 
-export OFLAGS ?= -O ihex
 FFLAGS ?= flash $(HEXFILE)
 DEBUGGER_FLAGS ?= debug $(ELFFILE)
 DEBUGSERVER_FLAGS ?= debug-server