diff options
author | Eric Bélanger <snowmaniscool@gmail.com> | 2009-10-22 09:03:53 +0200 |
---|---|---|
committer | Aaron Griffin <aaronmgriffin@gmail.com> | 2009-10-26 21:20:58 +0100 |
commit | 61e8cd97fb01997859b135dc0741beff7911c6f5 (patch) | |
tree | 2f013bbf9a1a38d616800759bcc4f8ba22bcd7c7 | |
parent | 23aa9719a89194a02c9f0dcb45a289bb189cf639 (diff) | |
download | devtools-61e8cd97fb01997859b135dc0741beff7911c6f5.tar.gz devtools-61e8cd97fb01997859b135dc0741beff7911c6f5.tar.xz |
checkpkg: Check package cache for old packages
Signed-off-by: Eric Bélanger <snowmaniscool@gmail.com>
Signed-off-by: Aaron Griffin <aaronmgriffin@gmail.com>
-rwxr-xr-x | checkpkg | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -63,6 +63,8 @@ for _pkgname in ${pkgname[@]}; do if [ ! -f $oldpkg ]; then if echo $pkgurl | grep "^file:///" > /dev/null 2>&1; then cp `echo $pkgurl | sed 's#^file://##'` . + elif [ -f $PKGDEST/$oldpkg ]; then + cp $PKGDEST/$oldpkg . else wget --quiet $pkgurl fi |