diff Makefile @ 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 c744dec7ed98
children 82dd2fbdb772
line wrap: on
line diff