mini has its own repository and its own tags now

This commit is contained in:
Sven Peter 2009-05-15 14:54:55 +02:00
parent 402be0e950
commit dfd2ba8069
2 changed files with 3 additions and 3 deletions

View File

@ -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

2
main.c
View File

@ -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();