blob: 2574b4259363fafc2fcdb445a55e40fdb3845808 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
|
diff --git a/getweb.in b/getweb.in
index 5215e02..244d97a 100755
--- a/getweb.in
+++ b/getweb.in
@@ -125,10 +125,7 @@ getexe() {
exefile="$2"
shift; shift
- wget $WGETOPTS -O $exefile "$url/$exefile" ||
- error "Couldn't download $url/$exefile"
- unzip -oj $exefile "$@"
- rm $exefile
+ unzip -oj $srcdir/$exefile "$@"
}
#
@@ -139,10 +136,7 @@ gettgz() {
file="$2"
what="$3"
- wget $WGETOPTS -O $file "$url/$file" ||
- error "Couldn't download $url/$file"
- gunzip <$file | tar xvf - $what
- rm $file
+ gunzip <$srcdir/$file | tar xvf - $what
}
copyright() {
|