run_* scripts: using /bin/sh instead of /bin/bash
darcs-hash:20070416130036-55b16-a37d09911f511b42c725d687f9f69181b56a5683.gz
Showing
Please register or sign in to comment
darcs-hash:20070416130036-55b16-a37d09911f511b42c725d687f9f69181b56a5683.gz