Author | SHA1 | Message | Date |
---|---|---|---|
grimreaper | d51d784f85 |
There is nothing bash specific here
/bin/bash is always wrong. Since there is nothing bash specific here, switch to /bin/sh |
12 years ago |
Filippo Valsorda | 225dceb046 | moved make release to devscripts/release.sh | 12 years ago |