[script] Move jver.sh from /tmp to /build

Author: JakubVanek

scripts/build.sh

@@ -3,7 +3,7 @@ set -e
 
 cd "$(dirname ${BASH_SOURCE[0]})"
 source config.sh
-source /tmp/jver.sh
+source "$BUILDDIR/jver.sh"
 
 if [ "$SFLT_NEEDED" == "true" ]; then
   echo "[BUILD] Building softfloat support"

scripts/fetch.sh

@@ -35,7 +35,7 @@ if [ ! -d "$JDKDIR" ]; then
   fi
 
   echo "[FETCH] Java version string: $JAVA_VERSION"
-  echo -e "#!/bin/bash\nJAVA_VERSION=\"$JAVA_VERSION\"" >"/tmp/jver.sh"
+  echo -e "#!/bin/bash\nJAVA_VERSION=\"$JAVA_VERSION\"" >"$BUILDDIR/jver.sh"
 
   # apply the EV3-specific patches
   echo "[FETCH] Patching the source tree"