From a32fd5605b8e7c763e8242e5531b3d90d41ef1db Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@inria.fr>
Date: Wed, 29 Jan 2014 10:55:01 +0100
Subject: [PATCH] try to spot right distro in daily mail

---
 scripts/daily-test-summary.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/daily-test-summary.sh b/scripts/daily-test-summary.sh
index 45e7549..c71ccef 100755
--- a/scripts/daily-test-summary.sh
+++ b/scripts/daily-test-summary.sh
@@ -34,7 +34,7 @@ function add_links () {
 	echo $line
 	# compute build and related distro
 	build=$(echo $line | cut -d' ' -f2)
-	echo $build | grep -q lxc && bdistro=lxc || bdistro=$distro
+	echo $build | grep -q f14 && bdistro=onelab || bdistro=$distro
 	# write a one-line shorthand
 	echo "        http://$buildhost/$bdistro/$build/"
     done
-- 
2.47.0