From fac05879fd7b857d61ce5d34d45fe930fe0192a3 Mon Sep 17 00:00:00 2001 From: Michael Forney Date: Thu, 13 Feb 2020 14:07:20 -0800 Subject: Add linux-headers 5.5.3 --- pkg/linux-headers/fetch.sh | 24 ++++++++++++++++++++++++ 1 file changed, 24 insertions(+) create mode 100644 pkg/linux-headers/fetch.sh (limited to 'pkg/linux-headers/fetch.sh') diff --git a/pkg/linux-headers/fetch.sh b/pkg/linux-headers/fetch.sh new file mode 100644 index 00000000..316e4382 --- /dev/null +++ b/pkg/linux-headers/fetch.sh @@ -0,0 +1,24 @@ +set -e + +dir=$1 +shift + +cd "$dir" + +if [ -e src ] ; then + rm -rf src +fi + +if ! sha256sum -c sha256 2>/dev/null ; then + curl -L -K url -O + sha256sum -c sha256 +fi + +read -r _ archive