From: Stephen Rothwell Date: Wed, 3 Jul 2019 07:10:25 +0000 (+1000) Subject: get_gitid is no longer useful X-Git-Url: https://git.ozlabs.org/?a=commitdiff_plain;h=69f33d24896cd12634189a4a4c76793b22ba0e07;p=next-scripts get_gitid is no longer useful --- diff --git a/get_gitid b/get_gitid deleted file mode 100755 index 8c86f7f..0000000 --- a/get_gitid +++ /dev/null @@ -1,9 +0,0 @@ -#!/bin/sh - -if [ "$1" = "${1#3}" ]; then - dir=v2.6 -else - dir=v3.0 -fi - -wget -q -O - http://www.kernel.org/pub/linux/kernel/$dir/snapshots/patch-$1.id