mini has its own repository and its own tags now

Author: svenpeter

describesimple.sh

@@ -3,11 +3,11 @@
 # Check for git and a git repo.
 if head=`git rev-parse --verify HEAD 2>/dev/null`; then
 	comm=`git log --pretty=oneline -n1 | awk ' { print $1 }'`
-	printf "%s" ""`printf "%s" \`git describe --abbrev=4 --match bootmii-\* $comm | awk '{ sub (/bootmii-/, ""); print;}'\``
+	printf "%s" ""`printf "%s" \`git describe --abbrev=4 --match mini-\* $comm | awk '{ sub (/mini-/, ""); print;}'\``
 
 	# Are there uncommitted changes?
 	git update-index --refresh --unmerged > /dev/null
-	git diff-index --quiet HEAD ../mini || printf "%s" '*'
+	git diff-index --quiet HEAD || printf "%s" '*'
 fi
 
 echo

main.c

@@ -42,7 +42,7 @@ u32 _main(void *base)
 	(void)base;
 
 	gecko_init();
-	gecko_printf("mini v0.2 (%s) loading\n", git_version);
+	gecko_printf("mini %s loading\n", git_version);
 
 	gecko_printf("Initializing exceptions...\n");
 	exception_initialize();