From 7a3c63170aeada044f920331e65179368a4b20c4 Mon Sep 17 00:00:00 2001
From: Simon Rettberg
Date: Mon, 26 Aug 2013 19:32:57 +0200
Subject: [kernel] copy kernel to build dir

---
 remote/modules/kernel/kernel.build | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/remote/modules/kernel/kernel.build b/remote/modules/kernel/kernel.build
index 99ee36a2..39077111 100644
--- a/remote/modules/kernel/kernel.build
+++ b/remote/modules/kernel/kernel.build
@@ -75,7 +75,7 @@ build() {
 }
 
 post_copy() {
-	:
+	cp -a "$MODULE_BUILD_DIR/kernel" "$TARGET_BUILD_DIR/../kernel/kernel" || perror "could not copy kernel to remote build dir"
 }
 
 # helper function to update the current kernel config with our parameters
-- 
cgit v1.2.3-55-g7522