From fb4a67ae416f616b43c8ab78e7bbbfc64c01278a Mon Sep 17 00:00:00 2001
From: Romain Goyet <romain.goyet@numworks.com>
Date: Thu, 18 Aug 2016 17:16:10 +0200
Subject: [PATCH] [ion] Ensure ion_sleep is not optimized out

Change-Id: Ifb468a8bc163acade32225b39aa261d552bdb4c9
---
 ion/src/device/init.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ion/src/device/init.cpp b/ion/src/device/init.cpp
index 25ec6a474..29e308bd2 100644
--- a/ion/src/device/init.cpp
+++ b/ion/src/device/init.cpp
@@ -26,7 +26,7 @@ void init_platform() {
 }
 
 void ion_sleep(long ms) {
-  for (long i=0; i<1040*ms; i++) {
+  for (volatile long i=0; i<1040*ms; i++) {
       __asm volatile("nop");
   }
 }