From de5ab3da27d061a0a5fac4536a5666712c741f44 Mon Sep 17 00:00:00 2001
From: Mohamed Larabi <mohamed.larabi@inria.fr>
Date: Mon, 30 Sep 2013 12:24:38 +0200
Subject: [PATCH 1/1] split sfa stable build into 2 versions

---
 scripts/sfa-stable-debian.sh | 3 ++-
 scripts/sfa-stable-fedora.sh | 3 ++-
 2 files changed, 4 insertions(+), 2 deletions(-)

diff --git a/scripts/sfa-stable-debian.sh b/scripts/sfa-stable-debian.sh
index a8d176f..1d1a281 100755
--- a/scripts/sfa-stable-debian.sh
+++ b/scripts/sfa-stable-debian.sh
@@ -7,7 +7,8 @@ stable=$(echo $stable | sed -e s,/,,g)
 stabledot=$(echo $stable | sed -e s,-,.,g)
 for dir in $(ls -d $stable/*[24]) ; do
   base=$(echo $dir | sed -e s,$stable,,g -e s,$stabledot,,g -e s,/sfa--,,g)
-  stablelink="stable-$base"
+  version=$(echo $dir | cut -c1)
+  stablelink="stable-sfa$version-$base"
   echo Linking $stablelink to $dir
   [ -h $stablelink ] && rm $stablelink
   [ -e $stablelink ] && { echo "found not-a-link $base - ignored" ; continue  ; }
diff --git a/scripts/sfa-stable-fedora.sh b/scripts/sfa-stable-fedora.sh
index 325d5ee..21629bb 100755
--- a/scripts/sfa-stable-fedora.sh
+++ b/scripts/sfa-stable-fedora.sh
@@ -6,7 +6,8 @@ stable=$1; shift
 stable=$(echo $stable | sed -e s,/,,g)
 for dir in $(ls -d $stable/*[24]) ; do
   base=$(echo $dir | sed -e s,/,,g -e s,--,,g -e s,sfa-,,g -e s,$stable,,g)
-  stablelink="stable-$base"
+  version=$(echo $dir | cut -c1)
+  stablelink="stable-sfa$version-$base"
   echo Linking $stablelink to $dir
   [ -h $stablelink ] && rm $stablelink
   [ -e $stablelink ] && { echo "found not-a-link $base - ignored" ; continue  ; }
-- 
2.43.0