diff options
| author | Lucio Andrés Illanes Albornoz <lucio@lucioillanes.de> | 2020-03-11 17:33:31 +0000 |
|---|---|---|
| committer | Lucio Andrés Illanes Albornoz <lucio@lucioillanes.de> | 2020-03-11 17:33:31 +0000 |
| commit | f243bed357feef6e7554767c44a6b6c97b11c3ec (patch) | |
| tree | d113196482807409444ec1aa615333603970793d /patches/rpm-4.15.1_pre.local.patch | |
| parent | ed7b28de4ac405fd1da51c2a338f655a21ec0e73 (diff) | |
| download | midipix_build-f243bed357feef6e7554767c44a6b6c97b11c3ec.tar.bz2 midipix_build-f243bed357feef6e7554767c44a6b6c97b11c3ec.tar.xz | |
pkgtool.sh, subr/{build_init,ex_pkg_exec}.subr: rebuild package, dump & exit if package dump is unavailable.
build.sh:buildp_dispatch_fail_pkg(): log --dump-{in,on-abort} messages at `info' level.
Diffstat (limited to 'patches/rpm-4.15.1_pre.local.patch')
0 files changed, 0 insertions, 0 deletions