printf needs a format string

shell/dbshell.cpp

@@ -94,7 +94,7 @@ char * shellReadline( const char * prompt , int handlesigint = 0 ){
     signal( SIGINT , quitNicely );
     return ret;
 #else
-    printf( prompt );
+    printf("%s", prompt);
     char * buf = new char[1024];
     char * l = fgets( buf , 1024 , stdin );
     int len = strlen( buf );