tree df8a74c01b1aea9ac79e34048bb1bbf65e79c109
parent ad8df4bf78cfaefd506ebe0263b41e3d3d24d4b3
author Haowei Wu <haowei@google.com> 1571956899 -0700
committer Haowei Wu <haowei@google.com> 1572285001 -0700

[override] Explicitly warns user of 'override' feature.

'jiri override' feature is no longer recommended in normal Fuchsia
development. This change makes jiri print a warning when 'override'
is detected in manfiests.

Bug: 39636
Change-Id: I502d7118f8bae0a6f71e798e580c8ca5ed0c3380