diff options
author | Reiner Herrmann <reiner@reiner-h.de> | 2016-02-20 14:06:18 +0100 |
---|---|---|
committer | Reiner Herrmann <reiner@reiner-h.de> | 2016-02-20 14:06:18 +0100 |
commit | c75b80b11e082adf1aa22f5ab83e034b462b8dbe (patch) | |
tree | fc59929344d64d233958df4ce792a1caa76d8324 /hosts/wbq0 | |
parent | 58c2ba0f82d3aa9f636f2d3fd595208720d9db1b (diff) | |
download | jenkins.debian.net-c75b80b11e082adf1aa22f5ab83e034b462b8dbe.tar.xz |
reproducible: use bash for /bin/sh in the rebuild
copied from the prebuilder bash hook.
Diffstat (limited to 'hosts/wbq0')
0 files changed, 0 insertions, 0 deletions