diff options
Diffstat (limited to 'tool/get-config_files')
| -rwxr-xr-x | tool/get-config_files | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/tool/get-config_files b/tool/get-config_files index a849c2b1e3..a3fb6dfaf8 100755 --- a/tool/get-config_files +++ b/tool/get-config_files @@ -3,7 +3,8 @@ require File.expand_path('../downloader', __FILE__) ARGV.each {|n| STDOUT.print "Downloading #{n}..."; STDOUT.flush begin - Downloader.download(n) + url = "http://git.savannah.gnu.org/gitweb/?p=config.git;a=blob_plain;f=%s;hb=HEAD" % n + Downloader.download(url, n) STDOUT.puts rescue => e STDOUT.puts |