barebox: patch-kernel.sh is no more
authorPeter Korsgaard <jacmet@sunsite.dk>
Mon, 19 Sep 2011 08:13:37 +0000 (10:13 +0200)
committerPeter Korsgaard <jacmet@sunsite.dk>
Mon, 19 Sep 2011 08:13:37 +0000 (10:13 +0200)
commitdcb43a0eb0c09ffb84c6c7b4c169a2874cb24cc9
tree1aaf17c4158c6552b0423e9c78dbbe367e408e08
parent358601f851c001fc9505efb4866436afc030a170
barebox: patch-kernel.sh is no more

Thanks to Sven Neumann for noticing.

Signed-off-by: Peter Korsgaard <jacmet@sunsite.dk>
boot/barebox/barebox.mk