1 files changed, 2 insertions, 0 deletions
diff --git a/mkdist.sh b/mkdist.sh
index 465c5b6..4110a25 100755
--- a/mkdist.sh
+++ b/mkdist.sh
@@ -54,6 +54,7 @@ fi
 
 if [ "$isPublic" = yes ]; then
 (
+    currentGcc=`avr-gcc-select | awk '{print $NF}'`
     cd tests
     for i in 3 4; do
         avr-gcc-select $i >/dev/null 2>&1
@@ -64,6 +65,7 @@ if [ "$isPublic" = yes ]; then
         svn add sizes-reference/$file
         svn commit -m "Added sizes file for this version" sizes-reference/$file
     done
+    avr-gcc-select $currentGcc
 )
 fi