diff options
-rwxr-xr-x | package.sh | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/package.sh b/package.sh index 4bf7fa2a82..05bdc43eb2 100755 --- a/package.sh +++ b/package.sh @@ -63,6 +63,14 @@ function downloadURL { filename=`basename "$1"` echo "Checking for $filename" + if [ -f "$filename" ]; then + SERVER_SIZE=$(curl -L -I "$1" | grep Content-Length | awk '{print $2}') + FILE_SIZE=$(stat -c%s "$filename") + echo "File $filename exists with $FILE_SIZE bytes. Server version has $SERVER_SIZE bytes" + if [ "$FILE_SIZE" != "$SERVER_SIZE" ]; then + rm -f "$filename" + fi + fi if [ ! -f "$filename" ]; then echo "Downloading $1" curl -L -O "$1" |