jenkins: include local bin directory in PATH
authorJustus Winter <justus@g10code.com>
Mon, 8 May 2017 13:59:08 +0000 (15:59 +0200)
committerJustus Winter <justus@g10code.com>
Mon, 8 May 2017 13:59:08 +0000 (15:59 +0200)
misc/jenkins/bin/build.bash

index eb17834..17e561a 100755 (executable)
@@ -30,6 +30,11 @@ if ccache --version >/dev/null; then
     export CXX="ccache ${CXX:-g++}"
 fi
 
     export CXX="ccache ${CXX:-g++}"
 fi
 
+# Include local bin directory in PATH.
+if [ -e "$HOME/bin" ]; then
+    export PATH="$HOME/bin:$PATH"
+fi
+
 # Setup important envars
 PREFIX=$HOME/prefix/$XTARGET
 ORIGINAL_PREFIX=$HOME/prefix/$XTARGET
 # Setup important envars
 PREFIX=$HOME/prefix/$XTARGET
 ORIGINAL_PREFIX=$HOME/prefix/$XTARGET