diff options
| author | Patrick Georgi <pgeorgi@chromium.org> | 2015-04-30 11:47:07 +0200 |
|---|---|---|
| committer | Patrick Georgi <pgeorgi@google.com> | 2015-04-30 15:38:46 +0200 |
| commit | fd5ed6b7add4a3035a5c2be743a3783a88204d6a (patch) | |
| tree | d6fd0d184c70d224664befa1e62b5159ce8ed06c /util/lint/checkpatch.pl | |
| parent | ba2b1e32b01c37950ca89e7e1533f6ba0834e3cf (diff) | |
build system: Drop another vboot1 remnant
The vboot stage is now done totally different,
as a real stage, and handled in the right location
(src/vendorcode/google/chromeos/vboot2/Makefile.inc),
so drop this vboot1 file.
Change-Id: Ie9a4ae257c2702ddcd217f5b4ef8d8f22b5099f4
Signed-off-by: Patrick Georgi <pgeorgi@chromium.org>
Reviewed-on: http://review.coreboot.org/10040
Tested-by: build bot (Jenkins)
Reviewed-by: Paul Menzel <paulepanter@users.sourceforge.net>
Reviewed-by: Aaron Durbin <adurbin@chromium.org>
Diffstat (limited to 'util/lint/checkpatch.pl')
0 files changed, 0 insertions, 0 deletions