diff options
Diffstat (limited to 'bin/reproducible_common.sh')
-rwxr-xr-x | bin/reproducible_common.sh | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/bin/reproducible_common.sh b/bin/reproducible_common.sh index 0daac6b8..7a4d523d 100755 --- a/bin/reproducible_common.sh +++ b/bin/reproducible_common.sh @@ -615,6 +615,11 @@ call_diffoscope() { fi ;; *) + # Process killed by signal exits with 128+${signal number}. + # 31 = SIGSYS = maximum signal number in signal(7) + if (( $RESULT > 128 )) && (( $RESULT <= 128+31 )); then + RESULT="$RESULT (SIG$(kill -l $(($RESULT - 128))))" + fi msg="$(date -u) - Something weird happened when running $DIFFOSCOPE on $1/$2 (which exited with $RESULT) and I don't know how to handle it." ;; esac |