diff --git a/makefiles/tools/pyocd.inc.mk b/makefiles/tools/pyocd.inc.mk
index f8ba7c6547..4b1593f841 100644
--- a/makefiles/tools/pyocd.inc.mk
+++ b/makefiles/tools/pyocd.inc.mk
@@ -3,8 +3,8 @@ 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)
+FLASHFILE ?= $(HEXFILE)
+FFLAGS ?= flash $(FLASHFILE)
 DEBUGGER_FLAGS ?= debug $(ELFFILE)
 DEBUGSERVER_FLAGS ?= debug-server
 RESET_FLAGS ?= reset