diff options
author | Alan Somers <asomers@gmail.com> | 2017-10-09 04:33:31 -0600 |
---|---|---|
committer | Daniel James <daniel@calamity.org.uk> | 2017-10-09 11:33:31 +0100 |
commit | c47cf1cf5ae18d4bd98f6376ab2949785a5d0cc2 (patch) | |
tree | 4bc1045662939820ff49cd170e84a7274ce9166d /doc/pdf | |
parent | 34ecafd457688d6124ec20489e4e5f4482374a29 (diff) | |
download | boost-c47cf1cf5ae18d4bd98f6376ab2949785a5d0cc2.tar.gz |
Fix bash path in a shebang (#153)
"/bin/bash" is a Linuxism. "/usr/bin/env bash" is portable.
Diffstat (limited to 'doc/pdf')
-rw-r--r-- | doc/pdf/build | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/pdf/build b/doc/pdf/build index 96881bb246..6f1c663807 100644 --- a/doc/pdf/build +++ b/doc/pdf/build @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash boost_version=$(grep 'define.*BOOST_LIB_VERSION' ../../boost/version.hpp | sed 's/.*"\([^"]*\)".*/\1/') echo Boost version tag = $boost_version (cd ../../libs/accumulators/doc && bjam -a --hash) 2>&1 | tee build.log |