+ exec + rm -rf /rpmbuild + mkdir -p /rpmbuild + su -c 'rpmbuild -ba /builddir/build/SPECS/ltl2ba.spec --define "debug_package %{nil}" --undefine _annotated_build --define "_missing_doc_files_terminate_build %{nil}" --define "_emacs_sitestartdir /usr/share/emacs/site-lisp/site-start.d" --define "_emacs_sitelispdir /usr/share/emacs/site-lisp" --nocheck ' mockbuild Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.mkilid + umask 022 + cd /builddir/build/BUILD + cd /builddir/build/BUILD + rm -rf ltl2ba-1.1 + /usr/bin/gzip -dc /builddir/build/SOURCES/ltl2ba-1.1.tar.gz + /usr/bin/tar -xof - + STATUS=0 + '[' 0 -ne 0 ']' + cd ltl2ba-1.1 + /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w . + echo 'Patch #0 (ltl2ba-warning.patch):' Patch #0 (ltl2ba-warning.patch): + /usr/bin/patch --no-backup-if-mismatch -p0 --fuzz=0 patching file ./alternating.c patching file ./buchi.c patching file ./cache.c patching file ./generalized.c patching file ./ltl2ba.h patching file ./main.c patching file ./mem.c patching file ./rewrt.c + exit 0 Executing(%build): /bin/sh -e /var/tmp/rpm-tmp.Sd2lnt + umask 022 + cd /builddir/build/BUILD + cd ltl2ba-1.1 + make -j4 'CFLAGS=-O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -DNXT' gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -DNXT -c -o parse.o parse.c gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -DNXT -c -o lex.o lex.c gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -DNXT -c -o main.o main.c gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -DNXT -c -o trans.o trans.c main.c: In function 'main': main.c:191:17: warning: ignoring return value of 'fgets', declared with attribute warn_unused_result [-Wunused-result] fgets(formula, 4096, tl_out); ^~~~~~~~~~~~~~~~~~~~~~~~~~~~ gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -DNXT -c -o buchi.o buchi.c gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -DNXT -c -o set.o set.c gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -DNXT -c -o mem.o mem.c gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -DNXT -c -o rewrt.o rewrt.c gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -DNXT -c -o cache.o cache.c gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -DNXT -c -o alternating.o alternating.c gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -DNXT -c -o generalized.o generalized.c gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -DNXT -o ltl2ba parse.o lex.o main.o trans.o buchi.o set.o mem.o rewrt.o cache.o alternating.o generalized.o + iconv -f latin1 -t utf8 README + mv README.utf8 README + exit 0 Executing(%install): /bin/sh -e /var/tmp/rpm-tmp.CPkkvP + umask 022 + cd /builddir/build/BUILD + '[' /builddir/build/BUILDROOT/ltl2ba-1.1-16.fc28.riscv64 '!=' / ']' + rm -rf /builddir/build/BUILDROOT/ltl2ba-1.1-16.fc28.riscv64 ++ dirname /builddir/build/BUILDROOT/ltl2ba-1.1-16.fc28.riscv64 + mkdir -p /builddir/build/BUILDROOT + mkdir /builddir/build/BUILDROOT/ltl2ba-1.1-16.fc28.riscv64 + cd ltl2ba-1.1 + mkdir -p /builddir/build/BUILDROOT/ltl2ba-1.1-16.fc28.riscv64/usr/bin + cp -p ltl2ba /builddir/build/BUILDROOT/ltl2ba-1.1-16.fc28.riscv64/usr/bin + /usr/lib/rpm/check-buildroot + /usr/lib/rpm/redhat/brp-ldconfig /sbin/ldconfig: Warning: ignoring configuration file that cannot be opened: /etc/ld.so.conf: No such file or directory + /usr/lib/rpm/brp-compress + /usr/lib/rpm/brp-strip /usr/bin/strip + /usr/lib/rpm/brp-strip-comment-note /usr/bin/strip /usr/bin/objdump + /usr/lib/rpm/brp-strip-static-archive /usr/bin/strip + /usr/lib/rpm/brp-python-bytecompile /usr/bin/python 1 + /usr/lib/rpm/brp-python-hardlink + /usr/lib/rpm/redhat/brp-mangle-shebangs Processing files: ltl2ba-1.1-16.fc28.riscv64 Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.r0uwaQ + umask 022 + cd /builddir/build/BUILD + cd ltl2ba-1.1 + DOCDIR=/builddir/build/BUILDROOT/ltl2ba-1.1-16.fc28.riscv64/usr/share/doc/ltl2ba + export LC_ALL=C + LC_ALL=C + export DOCDIR + /usr/bin/mkdir -p /builddir/build/BUILDROOT/ltl2ba-1.1-16.fc28.riscv64/usr/share/doc/ltl2ba + cp -pr README /builddir/build/BUILDROOT/ltl2ba-1.1-16.fc28.riscv64/usr/share/doc/ltl2ba + exit 0 Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.lQUCR0 + umask 022 + cd /builddir/build/BUILD + cd ltl2ba-1.1 + LICENSEDIR=/builddir/build/BUILDROOT/ltl2ba-1.1-16.fc28.riscv64/usr/share/licenses/ltl2ba + export LC_ALL=C + LC_ALL=C + export LICENSEDIR + /usr/bin/mkdir -p /builddir/build/BUILDROOT/ltl2ba-1.1-16.fc28.riscv64/usr/share/licenses/ltl2ba + cp -pr LICENSE /builddir/build/BUILDROOT/ltl2ba-1.1-16.fc28.riscv64/usr/share/licenses/ltl2ba + exit 0 Provides: ltl2ba = 1.1-16.fc28 ltl2ba(riscv-64) = 1.1-16.fc28 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) rtld(GNU_HASH) Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILDROOT/ltl2ba-1.1-16.fc28.riscv64 Wrote: /builddir/build/SRPMS/ltl2ba-1.1-16.fc28.src.rpm Wrote: /builddir/build/RPMS/riscv64/ltl2ba-1.1-16.fc28.riscv64.rpm Executing(%clean): /bin/sh -e /var/tmp/rpm-tmp.mpJUGL + umask 022 + cd /builddir/build/BUILD + cd ltl2ba-1.1 + /usr/bin/rm -rf /builddir/build/BUILDROOT/ltl2ba-1.1-16.fc28.riscv64 + exit 0 + touch /buildok + cleanup + set +e + sync + sleep 5 + sync + poweroff Terminated ++ cleanup ++ set +e ++ sync Terminated +++ cleanup +++ set +e +++ sync +++ sleep 5 +++ sync +++ poweroff