From 531e35dac757dcbe0b23972f21449d6ea89efa36 Mon Sep 17 00:00:00 2001
From: Ed Knutson <knutsoned@gmail.com>
Date: Sun, 17 Feb 2013 05:28:47 -0600
Subject: [PATCH] force wget or curl to save files using the expected filename

---
 distribute.sh | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/distribute.sh b/distribute.sh
index 271e81d080..ac649da331 100755
--- a/distribute.sh
+++ b/distribute.sh
@@ -52,8 +52,10 @@ if [ "X$WGET" == "X" ]; then
 		echo "Error: you need at least wget or curl installed."
 		exit 1
 	else
-		WGET="$WGET -L -O"
+		WGET="$WGET -L -O -o"
 	fi
+else
+	WGET="$WGET -O"
 fi
 
 case $OSTYPE in
@@ -470,7 +472,7 @@ function run_get_packages() {
 		# download if needed
 		if [ $do_download -eq 1 ]; then
 			info "Downloading $url"
-			try $WGET $url
+			try $WGET $filename $url
 		else
 			debug "Module $module already downloaded"
 		fi