OSDN Git Service

Merge change 1673 into donut
authorAndroid (Google) Code Review <android-gerrit@google.com>
Thu, 14 May 2009 20:19:03 +0000 (13:19 -0700)
committerAndroid (Google) Code Review <android-gerrit@google.com>
Thu, 14 May 2009 20:19:03 +0000 (13:19 -0700)
* changes:
  Made valgrind optional. Capture the target output.


Trivial merge