diff options
| -rw-r--r-- | makekernel.in | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/makekernel.in b/makekernel.in index 99e375c..dca67b6 100644 --- a/makekernel.in +++ b/makekernel.in @@ -17,8 +17,8 @@ usage () { } dlExVer () { - wget -nd "${proxyPrefix}$1.xz" - wget -nd "${proxyPrefix}$1.sign" + wget -nd "${proxyPrefix}$1.xz" || wget -nd "$1.xz" + wget -nd "${proxyPrefix}$1.sign" || wget -nd "$1.sign" xz -d "$2.xz" if ! gpg --verify $2{.sign,} then |