From a0ddae86e55f0df5229aaf82e6a713acd3a561a4 Mon Sep 17 00:00:00 2001
From: Craig Barnes <craig.barnes@member.fsf.org>
Date: Fri, 2 May 2014 23:03:23 +0100
Subject: [PATCH] Add device ID to autoflash script.

---
 stmhal/autoflash | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/stmhal/autoflash b/stmhal/autoflash
index dc28a97e29..d2240ccb55 100755
--- a/stmhal/autoflash
+++ b/stmhal/autoflash
@@ -8,6 +8,7 @@
 #   - run a terminal
 
 SERIAL=/dev/ttyACM0
+DEVICE=0483:df11
 
 while true; do
     echo "waiting for DFU device..."
@@ -19,7 +20,7 @@ while true; do
     done
 
     echo "found DFU device, flashing"
-    dfu-util -a 0 -D build/flash.dfu
+    dfu-util -a 0 -d $DEVICE -D build/flash.dfu
 
     echo "waiting for DFU to exit..."
     while true; do