[git] gnupg-doc - branch, master, updated. 0a6069b00f02aa63adf284bfa9dd1148cd12fc5e

[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  0a6069b00f02aa63adf284bfa9dd1148cd12fc5e (commit)
      from  e85064eb86522a0a5a635f1c4e48b62bcabd8a6b (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 0a6069b00f02aa63adf284bfa9dd1148cd12fc5e
Author: Justus Winter <justus at g10code.com>
Date:   Mon May 8 16:47:36 2017 +0200

    jenkins: add PREFIX/bin to the test environment

diff --git a/misc/jenkins/bin/build.bash b/misc/jenkins/bin/build.bash
index 17e561a..2390fb6 100755
--- a/misc/jenkins/bin/build.bash
+++ b/misc/jenkins/bin/build.bash
@@ -193,6 +193,9 @@ esac
 #
 # KCAHKCAHKCAH
 
+# And add $PREFIX/bin to PATH for the tests.
+test_environment="$test_environment PATH=$ORIGINAL_PREFIX/bin:$PATH"
+
 # We build on the "obj" subdir.
 abs_configure="$(pwd)/configure"
 mkdir -p obj

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

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


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