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