1 files changed, 6 insertions, 0 deletions
diff --git a/teensy/teensy_hal.c b/teensy/teensy_hal.c
index 39f41ad8a..6e9a27c30 100644
--- a/teensy/teensy_hal.c
+++ b/teensy/teensy_hal.c
@@ -14,3 +14,9 @@ uint32_t HAL_GetTick(void) {
 void HAL_Delay(uint32_t Delay) {
   delay(Delay);
 }
+
+void mp_hal_set_interrupt_char(int c) {
+  // The teensy 3.1 usb stack doesn't currently have the notion of generating
+  // an exception when a certain character is received. That just means that
+  // you can't press Control-C and get your python script to stop.
+}