Use bash instead of sh for get_git_rev.sh (#445)

The script relies on bash extensions to `echo`, which is not portable to
POSIX shells. Simplest fix is to request bash explicitly.
This commit is contained in:
Niklas Haas 2016-08-14 08:18:32 +02:00 committed by Dave Davenport
parent b5595d7a7e
commit acdd8ddb5a
1 changed files with 1 additions and 1 deletions

View File

@ -1,4 +1,4 @@
#!/usr/bin/env sh
#!/usr/bin/env bash
DIR=$1
FILE=$2