package.sh: When downloading files, if file exists, check that it has the right size

If a file was not downloaded correctly, this caused an issue where it would
never try to redownload it. This should fix it (not tested properly though)

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"