From dfe762625175c6c1250384f3360cc6ca64c6524c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jo=C3=ABl=20Schaerer?= <joel.schaerer@insa-lyon.fr>
Date: Wed, 25 Aug 2010 11:49:33 +0200
Subject: [PATCH] small script to make releases with git

---
 make_release.sh | 18 ++++++++++++++++++
 1 file changed, 18 insertions(+)
 create mode 100755 make_release.sh

diff --git a/make_release.sh b/make_release.sh
new file mode 100755
index 0000000..103e85f
--- /dev/null
+++ b/make_release.sh
@@ -0,0 +1,18 @@
+#!/bin/bash
+
+if [ $# -ne 1 ]
+then
+  echo "Usage: `basename $0` release"
+  echo "where release is of the form v11, v12, ..."
+  exit 1
+fi
+version=$1
+
+#check for tag existence
+git describe release-$1 2>&1 >/dev/null ||
+{
+    echo "Invalid version $1"
+    exit 1
+}
+
+git archive --format=tar --prefix autojump_${version}/ release-${version} | gzip > autojump_${version}.tar.gz