Fix get_version.sh so that it returns the correct version when .git is missing

ChangeLog

@@ -1,3 +1,8 @@
+2016-02-18 master
+- Fixes:
+  - Fix get_version.sh so that it returns the correct version when .git is missing
+  - Create temporary files in /tmp
+
 2016-01-29 0.12.7
 - Fixes:
   - Fix crash caused by race when reading inconsistent values for _NET_CURRENT_DESKTOP and _NET_NUMBER_OF_DESKTOPS

get_version.sh

@@ -3,6 +3,8 @@
 MAJOR=0.12
 DIRTY=""
 
+if git status 1>/dev/null 2>/dev/null
+then
     git update-index -q --ignore-submodules --refresh
     # Disallow unstaged changes in the working tree
     if ! git diff-files --quiet --ignore-submodules --
@@ -29,8 +31,15 @@ then
             DIRTY="-dirty"
         fi
     fi
-
     VERSION=$(git describe --exact-match 2>/dev/null || echo "$MAJOR-git$(git show -s --pretty=format:%cI.%h | tr -d ':' | tr -d '-' | tr '.' '-' | sed 's/T[0-9\+]*//g')")$DIRTY
+else
+    VERSION=$(head -n 1 ChangeLog | cut -d ' ' -f 2)
+    if [ $VERSION = "master" ]
+    then
+        VERSION=$VERSION-$(head -n 1 ChangeLog | cut -d ' ' -f 1)
+    fi
+fi
+
 VERSION=$(echo "$VERSION" | sed 's/^v//')
 
 echo '#define VERSION_STRING "'$VERSION'"' > version.h