From 98666053faa77239493f7640701452b0ed0de280 Mon Sep 17 00:00:00 2001 From: Tycho Andersen Date: Thu, 13 Apr 2017 15:26:40 -0600 Subject: [PATCH] kernel: remove unused makefile line Going through some unrelated stuff and noticed this. Signed-off-by: Tycho Andersen --- kernel/Makefile | 1 - 1 file changed, 1 deletion(-) diff --git a/kernel/Makefile b/kernel/Makefile index a52051aae..169569c35 100644 --- a/kernel/Makefile +++ b/kernel/Makefile @@ -51,7 +51,6 @@ bzImage: kernel.tag MEDIA_TOYBOX=linuxkit/toybox-media:d7e82a7d19ccc84c9071fa7a88ecaa58ae958f7c@sha256:4c7d25f2be2429cd08417c36e04161cb924e46f3e419ee33a0aa9ff3a0942e02 -BASE="$MEDIA_TOYBOX" IMAGE=kernel default: push