# HG changeset patch
# User Chris Cannam
# Date 1452768896 0
# Node ID 2c67e414ab463c98b226c8b3df736ba7b2e67f92
# Parent  21098b932cb8f7e33852aaa2d9dc24e7c883743f
Fix missed text change

diff -r 21098b932cb8 -r 2c67e414ab46 extra/soundsoftware/export-git.sh
--- a/extra/soundsoftware/export-git.sh	Thu Jan 14 10:27:25 2016 +0000
+++ b/extra/soundsoftware/export-git.sh	Thu Jan 14 10:54:56 2016 +0000
@@ -88,8 +88,8 @@
 	# optimisation (authormap files are expected to exist for all
 	# exportable projects, even if empty). So if a git mirror
 	# exists, we move it away
-	if [ -d "$gitrepo" ]; then
-	    mv "$gitrepo" "$wastedir/$(date +%s).$reponame"
+	if [ -d "$git_repodir" ]; then
+	    mv "$git_repodir" "$wastedir/$(date +%s).$reponame"
 	fi
 	    
 	continue