From 397741a89312824e1deb4f24ef8acd41765098f1 Mon Sep 17 00:00:00 2001
From: Alexandre Abadie <alexandre.abadie@inria.fr>
Date: Tue, 15 Oct 2019 10:46:03 +0200
Subject: [PATCH] fixup! Makefile.include: include iotlab.single.inc.mk before
 checking FLASHFILE

---
 Makefile.include | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/Makefile.include b/Makefile.include
index de3fd7fda3d8..7aefe5717bf0 100644
--- a/Makefile.include
+++ b/Makefile.include
@@ -280,6 +280,10 @@ export PREFIX ?= $(if $(TARGET_ARCH),$(TARGET_ARCH)-)
 # be done in makefile.iotlab.single.inc.mk which is included after.
 ifneq (,$(IOTLAB_NODE))
   PROGRAMMER ?= iotlab
+  # iotlab uses ELFFILE by default for flashing boards, except for WSN430.
+  ifeq (,$(filter wsn430-%,$(BOARD)))
+    FLASHFILE ?= $(ELFFILE)
+  endif
 endif
 
 # Add standard include directories