From db92c12e939b5834bde7734f15ffca3c7f61961e Mon Sep 17 00:00:00 2001
From: Andy CA6JAU <juribeparada@gmail.com>
Date: Thu, 16 Feb 2017 10:33:58 -0300
Subject: [PATCH] Fix machine name for RPi, Makefile

---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 0cd6cf4..3d3f6e5 100644
--- a/Makefile
+++ b/Makefile
@@ -52,7 +52,7 @@ else
 			DFU_UTIL=./STM32F10X_Lib/utils/linux64/dfu-util
 			ST_FLASH=./STM32F10X_Lib/utils/linux64/st-flash
 			STM32FLASH=./STM32F10X_Lib/utils/linux64/stm32flash	
-    	else ifeq ($(shell uname -m),armhf)
+    	else ifeq ($(shell uname -m),armv7l)
 			DFU_RST=./STM32F10X_Lib/utils/rpi32/upload-reset
 			DFU_UTIL=./STM32F10X_Lib/utils/rpi32/dfu-util
 			ST_FLASH=./STM32F10X_Lib/utils/rpi32/st-flash