Added mutex for multiple SPI devices on the same SPI bus

Fork of cc3000_hostdriver_mbedsocket by Martin Kojtal

Revision:
11:5e3771b29385
Parent:
4:15b58c119a0a
Child:
12:1c2a856c618a
Child:
13:5e36c267e62f
--- a/cc3000.cpp	Tue Oct 01 04:41:47 2013 +0000
+++ b/cc3000.cpp	Tue Oct 01 21:17:44 2013 +0000
@@ -417,11 +417,11 @@
 
     /* known issue of cc3000 - sent number is send + received */
 #if (CC3000_DEBUG == 1)
-    printf("DEBUG: Sent: %d \n",_ping_report.packets_sent);
-    printf("DEBUG: Received: %d \n",_ping_report.packets_received);
-    printf("DEBUG: Min time: %d \n",_ping_report.min_round_time);
-    printf("DEBUG: Max time: %d \n",_ping_report.max_round_time);
-    printf("DEBUG: Avg time: %d \n",_ping_report.avg_round_time);
+    printf("DEBUG: Sent: %d \r\n",_ping_report.packets_sent);
+    printf("DEBUG: Received: %d \r\n",_ping_report.packets_received);
+    printf("DEBUG: Min time: %d \r\n",_ping_report.min_round_time);
+    printf("DEBUG: Max time: %d \r\n",_ping_report.max_round_time);
+    printf("DEBUG: Avg time: %d \r\n",_ping_report.avg_round_time);
 #endif
 
     return _ping_report.packets_received;