From 0ecbdde285c17c348fe5334a0c0774f3166d2b5a Mon Sep 17 00:00:00 2001 From: Martin Roth Date: Mon, 11 Jan 2016 13:49:20 -0700 Subject: [PATCH] lint: rename lint-006-checkpatch because board name is lint-006 Checkpatch should be 007. Change-Id: Ib71c50ad1a63a3a743391cd8fea9f79cd08ef6f3 Signed-off-by: Martin Roth Reviewed-on: https://review.coreboot.org/12901 Tested-by: build bot (Jenkins) Reviewed-by: Patrick Georgi --- util/lint/{lint-006-checkpatch => lint-007-checkpatch} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename util/lint/{lint-006-checkpatch => lint-007-checkpatch} (100%) diff --git a/util/lint/lint-006-checkpatch b/util/lint/lint-007-checkpatch similarity index 100% rename from util/lint/lint-006-checkpatch rename to util/lint/lint-007-checkpatch