From 20362b26c768ae716c09478f93143e79918a4a5e Mon Sep 17 00:00:00 2001 From: Stefan Lankes Date: Wed, 28 Oct 2015 16:41:02 +0100 Subject: [PATCH] veryclean cleans also the linux kernel --- Makefile.in | 1 + 1 file changed, 1 insertion(+) diff --git a/Makefile.in b/Makefile.in index e87891793..11602bf2e 100644 --- a/Makefile.in +++ b/Makefile.in @@ -20,5 +20,6 @@ clean: veryclean: make -C hermit veryclean + make -C linux clean .PHONY: default all clean veryclean test