Fix tag support - proper tag needs to be checked out too.

diff --git a/rocci-server/gen-rocci-server.sh b/rocci-server/gen-rocci-server.sh
index 3d5c557..f003de9 100755 (executable)
--- a/rocci-server/gen-rocci-server.sh
+++ b/rocci-server/gen-rocci-server.sh
@@ -27,6 +27,10 @@ fi
 age=${age:-"1"}
 maint="František Dvořák <valtri@civ.zcu.cz>"
 
+if [ -n "$tag" ]; then
+       git checkout "$tag"
+fi
+
 rm -rf .git .gitignore
 tar -cf - ../rOCCI-server | gzip --best > ../rocci-server_$ver.orig.tar.gz