tree 41fce7c16d028d7687ffe407407b4132e1756d65
parent 8d9ef0679bd5550a8fc0a63efbb6149288c96dce
parent 6b0ff4756a17e7af22d283ac3599a8b1925e5827
author Nick Kralevich <nnk@google.com> 1391227880 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> 1391227880 +0000

Merge "Catch nonexistent BOARD_SEPOLICY_UNION policy files."