diff options
Diffstat (limited to 'build')
-rwxr-xr-x | build | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -8,7 +8,7 @@ VERSION= if [ -d .git ] ; then HEAD=`git show --pretty=oneline | head -n1 | cut -d' ' -f1 | cut -b1-16` BRANCH=`git branch | grep ^\* | cut -d' ' -f2` - VERSION=-$BRANCH:$HEAD + VERSION=-$BRANCH\_$HEAD fi if make -j5 ARCH=arm CONFIG_DEBUG_SECTION_MISMATCH=y EXTRAVERSION=$VERSION; then |