comparison configure @ 30796:ac94bb7f65eb

Run script with /bin/sh instead of bash. There is nothing bash-specific in this shell script.
author diego
date Thu, 04 Mar 2010 15:57:21 +0000
parents e10ba171be06
children 520e26362ad8
comparison
equal deleted inserted replaced
30795:1001c606f94c 30796:ac94bb7f65eb