[PATCH 1/4] Make configure use /bin/bash instead of /bin/sh
authorVladimir.Marek <Vladimir.Marek@oracle.com>
Mon, 9 Apr 2012 10:17:42 +0000 (12:17 +0200)
committerW. Trevor King <wking@tremily.us>
Fri, 7 Nov 2014 17:46:09 +0000 (09:46 -0800)
commit01853f9c762f224054d792b641e62ac8f63b2585
tree392713e26026d37fa085574004fae3d4b25af110
parent4ff377866302749a579f20423fe3ef3641a9473e
[PATCH 1/4] Make configure use /bin/bash instead of /bin/sh
6b/51394d0d16dab270731d6f62868bd820b2528e [new file with mode: 0644]