Fix bash paths in shebangs

"/bin/bash" is a Linuxism.  "/usr/bin/env bash" is portable.
This commit is contained in:
Alan Somers 2017-07-26 11:08:00 -06:00
parent 59d5566e29
commit fd486f7acd
4 changed files with 4 additions and 4 deletions

View File

@ -1,4 +1,4 @@
#!/bin/bash
#!/usr/bin/env bash
# Copyright 2014 Vladimir Prus
# Distributed under the Boost Software License, Version 1.0.

View File

@ -1,4 +1,4 @@
#!/bin/bash
#!/usr/bin/env bash
# Copyright 2004, 2005, 2006 Vladimir Prus
# Distributed under the Boost Software License, Version 1.0.

View File

@ -1,4 +1,4 @@
#!/bin/bash
#!/usr/bin/env bash
# Copyright 2004 Aleksey Gurtovoy
# Copyright 2006 Rene Rivera

View File

@ -1,4 +1,4 @@
#!/bin/bash
#!/usr/bin/env bash
for python in build/*.py; do
jam="${python%.py}.jam"