From 39a1b2792c42fc67059b2f78d82255bfcc5b148b Mon Sep 17 00:00:00 2001
From: Antonio Terceiro <terceiro@softwarelivre.org>
Date: Tue, 11 Nov 2014 17:33:18 -0200
Subject: [PATCH] Remove unecessary file

---
 utils/downloadsource.sh | 41 -----------------------------------------
 1 file changed, 0 insertions(+), 41 deletions(-)
 delete mode 100755 utils/downloadsource.sh

diff --git a/utils/downloadsource.sh b/utils/downloadsource.sh
deleted file mode 100755
index d440cd1..0000000
--- a/utils/downloadsource.sh
+++ /dev/null
@@ -1,41 +0,0 @@
-# !/bin/sh
-
-set -eu
-
-if [ $# -ne 3 ];
-then
-	echo "Usage: $0 {link} {destdir} {md5sum}"
-	exit 1
-fi
-
-tarball=$1
-destdir=$2
-md5sum=$3
-
-srcdir=$(dirname $0)/../src
-mkdir -p $srcdir
-
-fname=`basename $tarball`
-md5sum_file=/tmp/${fname}.md5sum
-echo "$md5sum $fname" > $md5sum_file
-
-trap cleanup INT TERM EXIT
-cleanup() {
-	rm -f $md5sum_file
-}
-
-if [ ! -f $srcdir/$fname ];
-then
-	wget $tarball -O $srcdir/$fname
-fi
-
-
-if ! (cd $srcdir && md5sum -c $md5sum_file);
-then
-	echo "$fname is corrupted!"
-	exit -2
-fi
-
-rm -rf $destdir
-mkdir -p $destdir
-tar xaf $srcdir/$fname -C $destdir --strip-components=1
--
libgit2 0.21.2