Remove unecessary file

Antonio Terceiro
1 parent 1187babb
Showing 1 changed file with 0 additions and 41 deletions Show diff stats
utils/downloadsource.sh
@@ -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
	@@ -1,41 +0,0 @@	@@ -1,41 +0,0 @@
1	-# !/bin/sh
2	-
3	-set -eu
4	-
5	-if [ $# -ne 3 ];
6	-then
7	- echo "Usage: $0 {link} {destdir} {md5sum}"
8	- exit 1
9	-fi
10	-
11	-tarball=$1
12	-destdir=$2
13	-md5sum=$3
14	-
15	-srcdir=$(dirname $0)/../src
16	-mkdir -p $srcdir
17	-
18	-fname=`basename $tarball`
19	-md5sum_file=/tmp/${fname}.md5sum
20	-echo "$md5sum $fname" > $md5sum_file
21	-
22	-trap cleanup INT TERM EXIT
23	-cleanup() {
24	- rm -f $md5sum_file
25	-}
26	-
27	-if [ ! -f $srcdir/$fname ];
28	-then
29	- wget $tarball -O $srcdir/$fname
30	-fi
31	-
32	-
33	-if ! (cd $srcdir && md5sum -c $md5sum_file);
34	-then
35	- echo "$fname is corrupted!"
36	- exit -2
37	-fi
38	-
39	-rm -rf $destdir
40	-mkdir -p $destdir
41	-tar xaf $srcdir/$fname -C $destdir --strip-components=1