From c5b7f502f2576a2788919446cac8cf12a86594d5 Mon Sep 17 00:00:00 2001
From: Daniel Fekete <danieleff@gmail.com>
Date: Mon, 24 Apr 2017 19:51:23 +0200
Subject: [PATCH] Use 64 bit version of st-flash on linux

---
 tools/linux/stlink_upload | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/tools/linux/stlink_upload b/tools/linux/stlink_upload
index f0dd789..a566899 100755
--- a/tools/linux/stlink_upload
+++ b/tools/linux/stlink_upload
@@ -1,5 +1,9 @@
 #!/bin/bash
-$(dirname $0)/stlink/st-flash write "$4" 0x8000000
+if [ `uname -m` ==  "x86_64" ]; then
+  $(dirname $0)/../linux64/stlink/st-flash write "$4" 0x8000000
+else
+  $(dirname $0)/stlink/st-flash write "$4" 0x8000000
+fi
 exit 0
 
 ## Remove the lines 2 and 3 (above) if you want this script to wait until the Serial device has been enumerated and loaded before the script exits