tree 86f096837c0a4be4245238661d4e56caac9e73e0
parent f2554d051bef272ca627c84283fa8022df772fbb
author Vijay Pai <vpai@google.com> 1428008345 -0700
committer Vijay Pai <vpai@google.com> 1428008345 -0700

Add new CONFIG for building with mutrace