javatools/javacontrolpanel/controlpanel/src/javacaptain.cpp
branchGCC_SURGE
changeset 55 d93ef1df440d
parent 48 e0d6e9bd3ca7
--- a/javatools/javacontrolpanel/controlpanel/src/javacaptain.cpp	Tue Jun 22 09:54:11 2010 +0100
+++ b/javatools/javacontrolpanel/controlpanel/src/javacaptain.cpp	Thu Jul 22 16:31:34 2010 +0100
@@ -24,6 +24,7 @@
 #include <stdio.h>
 #endif
 
+#include <cstring>
 #include <errno.h>
 #include "logger.h"