tree 6650aebb487b8f13e14620ad28acadf6576e76cc
parent 42168f2e976b5a33f26853b478695816a7ae8061
author Dima Zavin <dima@android.com> 1233341848 -0800
committer Dima Zavin <dima@android.com> 1237398653 -0700

[scripts] trace32: make switching between 7k and 8k easier.

Also turn off pabort/dabort.