diff --git a/targets/linux/jshardware.c b/targets/linux/jshardware.c
index 8475a183ac..d95e3ab2e4 100644
--- a/targets/linux/jshardware.c
+++ b/targets/linux/jshardware.c
@@ -252,7 +252,7 @@ int getch()
 pthread_t inputThread;
 bool isInitialised;
 
-void jshInputThread() {
+void *jshInputThread() {
   while (isInitialised) {
     bool shortSleep = false;
     /* Handle the delayed Ctrl-C -> interrupt behaviour (see description by EXEC_CTRL_C's definition)  */