1 files changed, 1 insertions, 1 deletions
diff --git a/build b/build
index 8d0dfb42ac7..324d77b032a 100755
--- a/build
+++ b/build
@@ -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