diff options
| author | Aaron Durbin <adurbin@chromium.org> | 2018-04-25 14:10:46 -0600 |
|---|---|---|
| committer | Aaron Durbin <adurbin@chromium.org> | 2018-04-27 03:25:28 +0000 |
| commit | 94984a846166c7ac927fcfcb2b34c1bfeabf8fcf (patch) | |
| tree | 124c79fc3b0e5aab2b5854ba26993a0cf131e0fb /src | |
| parent | 7ca400665ec933b200790d5219dfa059cc558ea5 (diff) | |
util/x86/x86_page_tables: add command line to generated files
In order to help the reader understand where things are generated
from add a comment string that is composed of the command line
used to generate the files.
BUG=b:72728953
Change-Id: I1b93923f8b08192448ab19226fd27661cc09e853
Signed-off-by: Aaron Durbin <adurbin@chromium.org>
Reviewed-on: https://review.coreboot.org/25834
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Furquan Shaikh <furquan@google.com>
Reviewed-by: Paul Menzel <paulepanter@users.sourceforge.net>
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions