Daniel Rudolf
10495c2ce5
_build/generate-badge.sh: Use curl instead of wget
...
After playing around a little bit with a Ubuntu 12.04 LTS virtual machine, `curl` came in my mind... I've absolutetly no idea why `curl` works, but `wget` does not (it's an issue with OpenSSL and both use it the same way...), but anyway - it works
2016-01-16 00:06:12 +01:00
Daniel Rudolf
0f85f85367
Build scripts: Fix exit codes
2016-01-14 22:57:31 +01:00
Daniel Rudolf
f46d0b978c
_build/generate-badge.sh: Skip on emty file
2016-01-14 16:33:42 +01:00
Daniel Rudolf
9f0c7bde5d
Revert "_build/generate-badge.sh: Connect to shields.io using SSLv3"
...
This reverts commit 1561786f3167b23a903a4be0d35cbb065e3c10b6.
2016-01-14 16:24:10 +01:00
Daniel Rudolf
1561786f31
_build/generate-badge.sh: Connect to shields.io using SSLv3
...
This is necessary due to a strange TLS bug in Ubuntu 12.04 LTS used by Travis CI. See https://bugs.launchpad.net/ubuntu/+source/openssl/+bug/861137 for details.
2016-01-14 16:02:34 +01:00
Daniel Rudolf
8c24e32f10
Build scripts: Fix formatting
2016-01-14 14:16:24 +01:00
Daniel Rudolf
cd0e0f706f
Build scripts: Git identity must be configured before committing
2016-01-14 13:12:10 +01:00
Daniel Rudolf
92026a3bd0
Add static shields.io badge generator
2016-01-14 12:49:46 +01:00
