From c47cf1cf5ae18d4bd98f6376ab2949785a5d0cc2 Mon Sep 17 00:00:00 2001 From: Alan Somers Date: Mon, 9 Oct 2017 04:33:31 -0600 Subject: [PATCH] Fix bash path in a shebang (#153) "/bin/bash" is a Linuxism. "/usr/bin/env bash" is portable. --- doc/pdf/build | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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