[git] gnupg-doc - branch, master, updated. e85064eb86522a0a5a635f1c4e48b62bcabd8a6b

[by Justus Winter]

This is an automated email from the git hooks/post-receive script. It was
generated because a ref change was pushed to the repository containing
the project "The GnuPG website and other docs".

The branch, master has been updated
       via  e85064eb86522a0a5a635f1c4e48b62bcabd8a6b (commit)
      from  c253cb3fca4d37df3002184367183fa8c010d63f (commit)

Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.

- Log -----------------------------------------------------------------
commit e85064eb86522a0a5a635f1c4e48b62bcabd8a6b
Author: Justus Winter <justus at g10code.com>
Date:   Mon May 8 15:59:08 2017 +0200

    jenkins: include local bin directory in PATH

diff --git a/misc/jenkins/bin/build.bash b/misc/jenkins/bin/build.bash
index eb17834..17e561a 100755
--- a/misc/jenkins/bin/build.bash
+++ b/misc/jenkins/bin/build.bash
@@ -30,6 +30,11 @@ if ccache --version >/dev/null; then
     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

-----------------------------------------------------------------------

Summary of changes:
 misc/jenkins/bin/build.bash | 5 +++++
 1 file changed, 5 insertions(+)


hooks/post-receive
-- 
The GnuPG website and other docs
http://git.gnupg.org