targets/Linux/plc_Linux_main.c
changeset 386 2932b0dd437c
parent 333 e90aebdd2af1
child 397 6a7ff66a811d
--- a/targets/Linux/plc_Linux_main.c	Tue Sep 01 10:45:07 2009 +0200
+++ b/targets/Linux/plc_Linux_main.c	Wed Sep 02 13:38:47 2009 +0200
@@ -124,6 +124,7 @@
     pthread_mutex_destroy(&debug_wait_mutex);
     pthread_mutex_unlock(&python_wait_mutex);
     pthread_mutex_destroy(&python_wait_mutex);
+    return 0;
 }
 
 extern int __tick;