id,summary,reporter,owner,description,type,status,priority,milestone,component,version,severity,resolution,keywords,cc,mlocked 13238,Android: gdb script improvement,Peter Bennett,Peter Bennett,"A small change to gdb.sh gives a much quicker startup time in most cases. When copying the libraries, add the -u option so that ones that are already up to date are not copied again. Also add -a to make sure the correct date is copied for the library and -v so that the developer can see something is happening, rather than wondering if the thing is hung. The attached patch does this. I wonder if we could use the -s option to just create links? This may be even more of a speed improvement. I am not sure since some of the things being copied are already links and creating more links to links may be a problem.",Patch - Feature,closed,minor,30.0,Ports - Android,Master Head,medium,fixed,,,0