tree 729ca74cef750836d02c156f0375be1d09bb6751
parent e3c769aa9c16e7b94051c5eaae6635e79ac19385
author David Gibson <david@gibson.dropbear.id.au> 1481261003 +1100
committer David Gibson <david@gibson.dropbear.id.au> 1481261003 +1100

dtc: Clean up /dts-v1/ and /plugin/ handling in grammar

First remove the non-terminal name 'versioninfo' - /plugin/ doesn't really
indicate a "version" per se, and version could be confused with the dtb
output version.

Second allow the /dts-v1/; /plugin/; sequence to be repeated, for easier
use of include files - but ensure that all copies match, so you can't
include a file declaring /plugin/ in one that doesn't, or vice versa.

Signed-off-by: David Gibson <david@gibson.dropbear.id.au>