use /bin/bash instead of /bin/sh in order to set '-o pipefail'
commitf6ff9e6f58c5e32418c2f9ddadd547ac56d1cff3
authorSebastian Hoß <mail@shoss.de>
Mon, 28 Nov 2016 15:19:45 +0000 (28 16:19 +0100)
committerSebastian Hoß <mail@shoss.de>
Mon, 28 Nov 2016 15:19:45 +0000 (28 16:19 +0100)
treea07ce27b37773d2c767e167e58a89e44d58a7f81
parent0be884fba24d35a58caa99ecfc6d427bbbac373c
use /bin/bash instead of /bin/sh in order to set '-o pipefail'
Makefile