From ad5e4ecc53eb3e9894e22ac4eb0cba4d61205148 Mon Sep 17 00:00:00 2001
From: Michael Olbrich <m.olbrich@pengutronix.de>
Date: Tue, 27 Nov 2012 12:06:30 +0100
Subject: ptxd_make_get: set PTXdist as user agent

Signed-off-by: Michael Olbrich <m.olbrich@pengutronix.de>
---
 scripts/lib/ptxd_make_get.sh | 1 +
 1 file changed, 1 insertion(+)

(limited to 'scripts')

diff --git a/scripts/lib/ptxd_make_get.sh b/scripts/lib/ptxd_make_get.sh
index 0b3822db8..9fba2a6d2 100644
--- a/scripts/lib/ptxd_make_get.sh
+++ b/scripts/lib/ptxd_make_get.sh
@@ -52,6 +52,7 @@ ptxd_make_get_http() {
 	    --progress=bar:force \
 	    --timeout=30 \
 	    --tries=5 \
+	    --user-agent="PTXdist ${PTXDIST_VERSION_FULL}" \
 	    ${PTXDIST_QUIET:+--quiet} \
 	    "${opts[@]}" \
 	    -O "${temp_file}" \
-- 
cgit v1.2.3