#!/bin/sh
set -e

wget --continue https://www.kernel.org/pub/linux/kernel/v4.x/linux-4.15.5.tar.xz