diff options
| author | Alan Somers <asomers@gmail.com> | 2017-07-26 11:09:24 -0600 |
|---|---|---|
| committer | Daniel James <daniel@calamity.org.uk> | 2017-10-04 19:03:10 +0100 |
| commit | 1202f7403da01fdd8f9e5afc00edfbd4b548460e (patch) | |
| tree | 175d9d39954835c598b075a46f93d5c19cff50bc /doc | |
| parent | 4d2576fbbf346efbfe933314aa3070812841fffe (diff) | |
| download | boost-1202f7403da01fdd8f9e5afc00edfbd4b548460e.tar.gz | |
Fix bash path in a shebang (#153)
"/bin/bash" is a Linuxism. "/usr/bin/env bash" is portable.
Diffstat (limited to 'doc')
| -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 |