tree 427c20c8003b3f632c1f47ec001028864a113449
parent 07f174eba06628bac59377b5a5ed282a660d3204
author Arve Hjønnevåg <arve@android.com> 1178613553 +0700
committer Colin Cross <ccross@android.com> 1334004788 -0700

Add build option to to set the default panic timeout.