From c4249308e307cb8d12d711eaaedbe602289275e4 Mon Sep 17 00:00:00 2001
From: Jason Zaugg <jzaugg@gmail.com>
Date: Sat, 1 Oct 2011 22:58:54 +0200
Subject: [PATCH] Corrects the command line for wget.

Without this, wget deposits the launcher in the working directory and pipes zero bytes to the  intended location.
---
 sbt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/sbt b/sbt
index 763ba6b81..855d33ebf 100755
--- a/sbt
+++ b/sbt
@@ -176,7 +176,7 @@ download_url () {
     if which curl >/dev/null; then
       curl --silent "$url" --output "$jar"
     elif which wget >/dev/null; then
-      wget --quiet "$url" > "$jar"
+      wget --quiet -O "$jar" "$url"
     fi
   } && [[ -f "$jar" ]]
 }