From 6acb103365e11222eb285cc4e5b7d2701b2ac508 Mon Sep 17 00:00:00 2001
From: Michiel Scholten <michiel@aquariusoft.org>
Date: Mon, 21 Jul 2014 11:18:14 +0200
Subject: [PATCH] Fix for GRP and GRPDIR not being reset after entering new
 WORKSPACE

---
 bin/update_repos | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/bin/update_repos b/bin/update_repos
index dc2944a..ae50d35 100755
--- a/bin/update_repos
+++ b/bin/update_repos
@@ -26,6 +26,9 @@ for LINE in "${LINES[@]}"; do
             WORKSPACE="$HOME/$WORKSPACEDIR"
         fi
         echo "workspace: $WORKSPACE"
+        # Reset GRP, as we enter a new workspace
+        GRP=""
+        GPRDIR=""
 
         if [ ! -e $WORKSPACE ]; then
             #mkdir -p $WORKSPACE
@@ -53,7 +56,7 @@ for LINE in "${LINES[@]}"; do
         exit 1
     fi
 
-    cd $WORKSPACE/$GRP
+    cd $GRPDIR
     REPODIR=$(basename "$LINE")
     #extension="${filename##*.}"
     REPODIR="${REPODIR%.*}"