ilddir/build/BUILDROOT/cbmc-5.11-5.fc33.riscv64/usr/share/doc/cbmc
+ cp -pr CHANGELOG /builddir/build/BUILDROOT/cbmc-5.11-5.fc33.riscv64/usr/share/doc/cbmc
+ cp -pr README.md /builddir/build/BUILDROOT/cbmc-5.11-5.fc33.riscv64/usr/share/doc/cbmc
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.pN4Und
+ umask 022
+ cd /builddir/build/BUILD
+ cd cbmc-cbmc-5.11
+ LICENSEDIR=/builddir/build/BUILDROOT/cbmc-5.11-5.fc33.riscv64/usr/share/licenses/cbmc
+ export LC_ALL=C
+ LC_ALL=C
+ export LICENSEDIR
+ /usr/bin/mkdir -p /builddir/build/BUILDROOT/cbmc-5.11-5.fc33.riscv64/usr/share/licenses/cbmc
+ cp -pr LICENSE /builddir/build/BUILDROOT/cbmc-5.11-5.fc33.riscv64/usr/share/licenses/cbmc
+ RPM_EC=0
++ jobs -p
+ exit 0
Provides: cbmc = 5.11-5.fc33 cbmc(riscv-64) = 5.11-5.fc33
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Requires: ld-linux-riscv64-lp64d.so.1()(64bit) ld-linux-riscv64-lp64d.so.1(GLIBC_2.27)(64bit) libc.so.6()(64bit) libc.so.6(GLIBC_2.27)(64bit) libgcc_s.so.1()(64bit) libgcc_s.so.1(GCC_3.0)(64bit) libgcc_s.so.1(GCC_3.4)(64bit) libglpk.so.40()(64bit) libm.so.6()(64bit) libm.so.6(GLIBC_2.27)(64bit) libminisat.so.2()(64bit) libstdc++.so.6()(64bit) libstdc++.so.6(CXXABI_1.3)(64bit) libstdc++.so.6(CXXABI_1.3.2)(64bit) libstdc++.so.6(CXXABI_1.3.3)(64bit) libstdc++.so.6(CXXABI_1.3.5)(64bit) libstdc++.so.6(GLIBCXX_3.4)(64bit) libstdc++.so.6(GLIBCXX_3.4.11)(64bit) libstdc++.so.6(GLIBCXX_3.4.14)(64bit) libstdc++.so.6(GLIBCXX_3.4.15)(64bit) libstdc++.so.6(GLIBCXX_3.4.18)(64bit) libstdc++.so.6(GLIBCXX_3.4.19)(64bit) libstdc++.so.6(GLIBCXX_3.4.20)(64bit) libstdc++.so.6(GLIBCXX_3.4.21)(64bit) libstdc++.so.6(GLIBCXX_3.4.26)(64bit) libstdc++.so.6(GLIBCXX_3.4.9)(64bit) rtld(GNU_HASH)
Processing files: cbmc-doc-5.11-5.fc33.riscv64
Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.GHZEwd
+ umask 022
+ cd /builddir/build/BUILD
+ cd cbmc-cbmc-5.11
+ DOCDIR=/builddir/build/BUILDROOT/cbmc-5.11-5.fc33.riscv64/usr/share/doc/cbmc-doc
+ export LC_ALL=C
+ LC_ALL=C
+ export DOCDIR
+ /usr/bin/mkdir -p /builddir/build/BUILDROOT/cbmc-5.11-5.fc33.riscv64/usr/share/doc/cbmc-doc
+ cp -pr doc/html /builddir/build/BUILDROOT/cbmc-5.11-5.fc33.riscv64/usr/share/doc/cbmc-doc
+ RPM_EC=0
++ jobs -p
+ exit 0
Provides: cbmc-doc = 5.11-5.fc33 cbmc-doc(riscv-64) = 5.11-5.fc33
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Processing files: cbmc-debugsource-5.11-5.fc33.riscv64
Provides: cbmc-debugsource = 5.11-5.fc33 cbmc-debugsource(riscv-64) = 5.11-5.fc33
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Processing files: cbmc-debuginfo-5.11-5.fc33.riscv64
Provides: cbmc-debuginfo = 5.11-5.fc33 cbmc-debuginfo(riscv-64) = 5.11-5.fc33 debuginfo(build-id) = 287587f84c185560547777d13ed9bd695a548620 debuginfo(build-id) = 5e12721ef5e8aa936f1729157f353ccdd3015687 debuginfo(build-id) = b3c50edc1daae0e3a1d9504e3b4e6d196ed30e92 debuginfo(build-id) = c711f389327e218e9355a9711965fe92f152aa68 debuginfo(build-id) = f111fece5bf00635775fcf18ea2afa257c2ee15c
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.11-5.fc33
Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILDROOT/cbmc-5.11-5.fc33.riscv64
Wrote: /builddir/build/RPMS/cbmc-debugsource-5.11-5.fc33.riscv64.rpm
Wrote: /builddir/build/RPMS/cbmc-5.11-5.fc33.riscv64.rpm
Wrote: /builddir/build/RPMS/cbmc-doc-5.11-5.fc33.riscv64.rpm
Wrote: /builddir/build/RPMS/cbmc-debuginfo-5.11-5.fc33.riscv64.rpm
Executing(%clean): /bin/sh -e /var/tmp/rpm-tmp.NItppg
+ umask 022
+ cd /builddir/build/BUILD
+ cd cbmc-cbmc-5.11
+ /usr/bin/rm -rf /builddir/build/BUILDROOT/cbmc-5.11-5.fc33.riscv64
+ RPM_EC=0
++ jobs -p
+ exit 0
Child return code was: 0