diff --git a/src/build/jenkins.sh b/src/build/jenkins.sh index 3b1f6fd6b..8b47d1e07 100644 --- a/src/build/jenkins.sh +++ b/src/build/jenkins.sh @@ -1,5 +1,5 @@ #!/bin/bash -x -export PATH=/opt/arm-2013.05/bin:/opt/tools/arm-bcm2708/gcc-linaro-arm-linux-gnueabihf-raspbian/bin:/opt/arm-unknown-linux-uclibcgnueabi/bin:$PATH +export PATH="/opt/arm-2013.05/bin:/opt/tools/arm-bcm2708/gcc-linaro-arm-linux-gnueabihf-raspbian/bin:/opt/arm-unknown-linux-uclibcgnueabi/bin:$PATH" export THREADS=2 #Needed to use aliases