Re: [PATCH 1/4] Make configure use /bin/bash instead of /bin/sh
authorVladimir Marek <Vladimir.Marek@Oracle.COM>
Mon, 9 Apr 2012 12:19:30 +0000 (14:19 +0200)
committerW. Trevor King <wking@tremily.us>
Fri, 7 Nov 2014 17:46:10 +0000 (09:46 -0800)
commit728cb92cbe7617fc8b3bda0499a1c4da9474f7f7
tree57a40e02f05f418dfa8c211346ed654cd48bc3c7
parent9c0c07261395c09a63117f3de703a4e0b314f580
Re: [PATCH 1/4] Make configure use /bin/bash instead of /bin/sh
08/1c521618ac4b4b881dc74e0050807fe8a637b8 [new file with mode: 0644]