- This aims to avoid conflict and enhance clarity (easier to find the commit and be sure it's the right one)
@@ -9,7 +9,7 @@ if ! [ -e dist ]; then
fi
# If no tag, use commit SHA1
-id=`git describe HEAD`
+id=`git describe --abbrev=40 HEAD`
name=OcLaunch_${id}.tgz
echo "Writing in" $name