commit feaee26c2db3d33b035bcbb0abb82c69d132d600
author Dan McGregor <dan.mcgregor@usask.ca> Tue Nov 29 07:41:27 2016 -0600
committer Dan McGregor <dan.mcgregor@usask.ca> Fri Mar 03 08:12:45 2017 -0600
tree 499c4455374ddf40719756df07d879cfae1bf869
parent 2b822834e208383f0853252cc2ca517d9a3e6886

Don't hardcode /bin/bash

Some platforms either don't have bash installed as /bin/bash. Use
the environment to find it in the PATH.

Change-Id: Ie1a6d64146927c83af07d0e2ca7f573c7504f8ef

tools/workspace-status.sh

diff --git a/tools/workspace-status.sh b/tools/workspace-status.sh
index 1ef91b8..4c8b7f6 100755
--- a/tools/workspace-status.sh
+++ b/tools/workspace-status.sh
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 # This script will be run by bazel when the build process starts to
 # generate key-value information that represents the status of the