tree 5d232b35d85bff23f90526bd78ba75f690c13189
parent b6b05ea9109cf79b704fa6cca5f85707416d64dd
author John Bauman <jbauman@google.com> 1603833308 +0000
committer CQ Bot <commit-bot@chromium.org> 1603833308 +0000

[magma] Print better error message when generated header doesn't match

Print a cp command to update the file.

Change-Id: I00f3f39da628a6c12a885d875c2365115c32464e
Reviewed-on: https://fuchsia-review.googlesource.com/c/fuchsia/+/443856
Reviewed-by: Craig Stout <cstout@google.com>
Testability-Review: Craig Stout <cstout@google.com>
Commit-Queue: John Bauman <jbauman@google.com>