From 652345d1ad64747def1b2daa7f987a36b9fd715b Mon Sep 17 00:00:00 2001
From: Stefan Lankes <stlankes@users.noreply.github.com>
Date: Fri, 26 Aug 2016 20:27:01 +0200
Subject: [PATCH] add rule to avoid building the complete linux kernel

---
 Makefile.in | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/Makefile.in b/Makefile.in
index 9554547d6..44b54a458 100644
--- a/Makefile.in
+++ b/Makefile.in
@@ -6,6 +6,10 @@ default: linux/arch/x86/boot/bzImage
 	make PATH=$(PATH):$(CROSSDIR) -C hermit
 	make PATH=$(PATH):$(CROSSDIR) -C hermit/tools proxy
 
+travis:
+	make PATH=$(PATH):$(CROSSDIR) -C hermit
+	make PATH=$(PATH):$(CROSSDIR) -C hermit/tools proxy
+
 all: default
 
 linux/arch/x86/boot/bzImage: