4bit) rtld(GNU_HASH)
Processing files: cbmc-doc-5.50.0-4.fc38.riscv64
Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.VOVGpv
+ umask 022
+ cd /builddir/build/BUILD
+ cd cbmc-cbmc-5.50.0
+ DOCDIR=/builddir/build/BUILDROOT/cbmc-5.50.0-4.fc38.riscv64/usr/share/doc/cbmc-doc
+ export LC_ALL=C
+ LC_ALL=C
+ export DOCDIR
+ /usr/bin/mkdir -p /builddir/build/BUILDROOT/cbmc-5.50.0-4.fc38.riscv64/usr/share/doc/cbmc-doc
+ cp -pr redhat-linux-build/doc/html /builddir/build/BUILDROOT/cbmc-5.50.0-4.fc38.riscv64/usr/share/doc/cbmc-doc
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.CL4Dth
+ umask 022
+ cd /builddir/build/BUILD
+ cd cbmc-cbmc-5.50.0
+ LICENSEDIR=/builddir/build/BUILDROOT/cbmc-5.50.0-4.fc38.riscv64/usr/share/licenses/cbmc-doc
+ export LC_ALL=C
+ LC_ALL=C
+ export LICENSEDIR
+ /usr/bin/mkdir -p /builddir/build/BUILDROOT/cbmc-5.50.0-4.fc38.riscv64/usr/share/licenses/cbmc-doc
+ cp -pr LICENSE /builddir/build/BUILDROOT/cbmc-5.50.0-4.fc38.riscv64/usr/share/licenses/cbmc-doc
+ RPM_EC=0
++ jobs -p
+ exit 0
Provides: cbmc-doc = 5.50.0-4.fc38 cbmc-doc(riscv-64) = 5.50.0-4.fc38
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Processing files: cbmc-utils-5.50.0-4.fc38.riscv64
Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.K03V3g
+ umask 022
+ cd /builddir/build/BUILD
+ cd cbmc-cbmc-5.50.0
+ LICENSEDIR=/builddir/build/BUILDROOT/cbmc-5.50.0-4.fc38.riscv64/usr/share/licenses/cbmc-utils
+ export LC_ALL=C
+ LC_ALL=C
+ export LICENSEDIR
+ /usr/bin/mkdir -p /builddir/build/BUILDROOT/cbmc-5.50.0-4.fc38.riscv64/usr/share/licenses/cbmc-utils
+ cp -pr ../cbmc-utils-1.3/LICENSE /builddir/build/BUILDROOT/cbmc-5.50.0-4.fc38.riscv64/usr/share/licenses/cbmc-utils
+ RPM_EC=0
++ jobs -p
+ exit 0
Provides: cbmc-utils = 5.50.0-4.fc38 cbmc-utils(riscv-64) = 5.50.0-4.fc38
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Requires: /usr/bin/bash /usr/bin/python3
Processing files: cbmc-debugsource-5.50.0-4.fc38.riscv64
Provides: cbmc-debugsource = 5.50.0-4.fc38 cbmc-debugsource(riscv-64) = 5.50.0-4.fc38
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Processing files: cbmc-debuginfo-5.50.0-4.fc38.riscv64
Provides: cbmc-debuginfo = 5.50.0-4.fc38 cbmc-debuginfo(riscv-64) = 5.50.0-4.fc38 debuginfo(build-id) = 5cb249ff78d68887e422a6eae03e819e07ef7e63 debuginfo(build-id) = 90747cfa2c62738fe0162d1c96544ce0057bab73 debuginfo(build-id) = de3c0122f9242460665cce238f09bddffc5d73df debuginfo(build-id) = e18f6561c3c49e7ec2d8a09d5f022b0c58b43dd9 debuginfo(build-id) = f2419c24e52b7f428f0478071f1078050eb680a0 debuginfo(build-id) = f38748c44f296dd9dc9b1b05f0b7cccee601bebf debuginfo(build-id) = fb6ff6837c206ad4bf4216c8f8744e686b3f911d debuginfo(build-id) = fbe93f0c0ee471bb16155f385f40a36fd79718d7
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Recommends: cbmc-debugsource(riscv-64) = 5.50.0-4.fc38
Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILDROOT/cbmc-5.50.0-4.fc38.riscv64
Wrote: /builddir/build/RPMS/cbmc-debugsource-5.50.0-4.fc38.riscv64.rpm
Wrote: /builddir/build/RPMS/cbmc-utils-5.50.0-4.fc38.riscv64.rpm
Wrote: /builddir/build/RPMS/cbmc-5.50.0-4.fc38.riscv64.rpm
Wrote: /builddir/build/RPMS/cbmc-doc-5.50.0-4.fc38.riscv64.rpm
Wrote: /builddir/build/RPMS/cbmc-debuginfo-5.50.0-4.fc38.riscv64.rpm
Executing(%clean): /bin/sh -e /var/tmp/rpm-tmp.wfV47l
+ umask 022
+ cd /builddir/build/BUILD
+ cd cbmc-cbmc-5.50.0
+ /usr/bin/rm -rf /builddir/build/BUILDROOT/cbmc-5.50.0-4.fc38.riscv64
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(rmbuild): /bin/sh -e /var/tmp/rpm-tmp.dqVvoT
+ umask 022
+ cd /builddir/build/BUILD
+ rm -rf cbmc-cbmc-5.50.0 cbmc-cbmc-5.50.0.gemspec
+ RPM_EC=0
++ jobs -p
+ exit 0
Child return code was: 0