From f86dcd05cf6797c2947e2a3f393ca3167cae8d1f Mon Sep 17 00:00:00 2001
From: =?utf8?q?Franti=C5=A1ek=20Dvo=C5=99=C3=A1k?= <valtri@civ.zcu.cz>
Date: Mon, 10 Mar 2014 10:52:02 +0100
Subject: [PATCH] Fix tag support - proper tag needs to be checked out too.

---
 rocci-server/gen-rocci-server.sh | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/rocci-server/gen-rocci-server.sh b/rocci-server/gen-rocci-server.sh
index 3d5c557..f003de9 100755
--- 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
 
-- 
1.8.2.3