1 files changed, 0 insertions, 36 deletions
diff --git a/scripts/fetch-curl.rc b/scripts/fetch-curl.rc
deleted file mode 100755
index 7199ee5c..00000000
--- a/scripts/fetch-curl.rc
+++ /dev/null
@@ -1,36 +0,0 @@
-#!/bin/rc
-
-flag e +
-
-ifs='
-'
-
-cd `{dirname $0}
-
-if([ -d src ]) rm -rf src
-
-if(! sha256sum -c sha256 >[2]/dev/null) {
-	curl -L -O -K url
-	sha256sum -c sha256
-}
-
-for(archive in `{awk '{print $2}' sha256}) {
-	switch($archive) {
-	case *.gz
-		tool=zcat
-	case *.bz2
-		tool=bzcat
-	case *.xz
-		tool=xzcat
-	case *
-		tool=()
-	}
-	if(! ~ $#tool 0) $tool $archive | pax -r -s '/^\.\|[^\/]*/src/'
-}
-
-if([ -d patch ]) {
-	if(prefix=`{git rev-parse --show-prefix >[2]/dev/null}) dir=$prefix^src
-	if not dir=src
-	git apply -v --directory $dir patch/*
-}
-status=()