From cd43ca3f7f1318128d06173d798c87e1d27b0aec Mon Sep 17 00:00:00 2001
From: "David A. Mellis" <d.mellis@arduino.cc>
Date: Thu, 30 Aug 2012 07:44:25 -0400
Subject: [PATCH] Fixing Serial.flush() breakage on Leonardo (WestFW).

http://code.google.com/p/arduino/issues/detail?id=1020
---
 hardware/arduino/cores/arduino/HardwareSerial.h | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/hardware/arduino/cores/arduino/HardwareSerial.h b/hardware/arduino/cores/arduino/HardwareSerial.h
index eadaaa76e..d4ccbec80 100644
--- a/hardware/arduino/cores/arduino/HardwareSerial.h
+++ b/hardware/arduino/cores/arduino/HardwareSerial.h
@@ -87,7 +87,14 @@ class HardwareSerial : public Stream
  * conditional code in the cpp module.
  */
 #if !defined(TXC0)
+#if defined(TXC)
 #define TXC0 TXC
+#elif defined(TXC1)
+// Some devices have uart1 but no uart0
+#define TXC0 TXC1
+#else
+#error TXC0 not definable in HardwareSerial.h
+#endif
 #endif
 
 extern void serialEventRun(void) __attribute__((weak));