diff options
author | Hennadii Stepanov <32963518+hebasto@users.noreply.github.com> | 2020-04-07 21:34:37 +0300 |
---|---|---|
committer | Hennadii Stepanov <32963518+hebasto@users.noreply.github.com> | 2020-04-17 16:09:04 +0300 |
commit | 1362be044724bb49d785ca2e296a3b43343c1690 (patch) | |
tree | 801c1a93f6fa2974ae67ada05ec0fb8393b488c0 /share | |
parent | 1b151e3ffce7c1a2ee46bf280cc1d96775d1f91e (diff) |
build: Drop make dist in gitian builds
Diffstat (limited to 'share')
-rwxr-xr-x | share/genbuild.sh | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/share/genbuild.sh b/share/genbuild.sh index 197787d5e0..81fa2ed5d0 100755 --- a/share/genbuild.sh +++ b/share/genbuild.sh @@ -18,13 +18,9 @@ else exit 1 fi -git_check_in_repo() { - ! { git status --porcelain -uall --ignored "$@" 2>/dev/null || echo '??'; } | grep -q '?' -} - DESC="" SUFFIX="" -if [ "${BITCOIN_GENBUILD_NO_GIT}" != "1" ] && [ -e "$(command -v git)" ] && [ "$(git rev-parse --is-inside-work-tree 2>/dev/null)" = "true" ] && git_check_in_repo share/genbuild.sh; then +if [ "${BITCOIN_GENBUILD_NO_GIT}" != "1" ] && [ -e "$(command -v git)" ] && [ "$(git rev-parse --is-inside-work-tree 2>/dev/null)" = "true" ]; then # clean 'dirty' status of touched files that haven't been modified git diff >/dev/null 2>/dev/null |