Mock Version: 1.1.1 Mock Version: 1.1.1 ENTER do(['bash', '--login', '-c', 'rpmbuild -bs --target i686 --nodeps builddir/build/SPECS/ltl2ba.spec'], False, '/var/lib/mock/dist-f12-build-856430-125277/root/', None, 86400, True, 0, 417, 417, None, logger=) Executing command: ['bash', '--login', '-c', 'rpmbuild -bs --target i686 --nodeps builddir/build/SPECS/ltl2ba.spec'] warning: Could not canonicalize hostname: x86-20.phx2.fedoraproject.org Building target platforms: i686 Building for target i686 Wrote: /builddir/build/SRPMS/ltl2ba-1.1-2.fc12.src.rpm Child returncode was: 0 LEAVE do --> ENTER do(['bash', '--login', '-c', 'rpmbuild -bb --target i686 --nodeps builddir/build/SPECS/ltl2ba.spec'], False, '/var/lib/mock/dist-f12-build-856430-125277/root/', None, 86400, True, 0, 417, 417, None, logger=) Executing command: ['bash', '--login', '-c', 'rpmbuild -bb --target i686 --nodeps builddir/build/SPECS/ltl2ba.spec'] Building target platforms: i686 Building for target i686 Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.umhLX6 + umask 022 + cd /builddir/build/BUILD + LANG=C + export LANG + unset DISPLAY + cd /builddir/build/BUILD + rm -rf ltl2ba-1.1 + /usr/bin/gzip -dc /builddir/build/SOURCES/ltl2ba-1.1.tar.gz + /bin/tar -xf - + STATUS=0 + '[' 0 -ne 0 ']' + cd ltl2ba-1.1 + /bin/chmod -Rf a+rX,u+w,g-w,o-w . + exit 0 Executing(%build): /bin/sh -e /var/tmp/rpm-tmp.mOsQ6d + umask 022 + cd /builddir/build/BUILD + cd ltl2ba-1.1 + LANG=C + export LANG + unset DISPLAY + make -j16 'CFLAGS=-O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -ansi -DNXT' gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -ansi -DNXT -c -o parse.o parse.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -ansi -DNXT -c -o lex.o lex.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -ansi -DNXT -c -o main.o main.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -ansi -DNXT -c -o trans.o trans.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -ansi -DNXT -c -o buchi.o buchi.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -ansi -DNXT -c -o set.o set.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -ansi -DNXT -c -o mem.o mem.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -ansi -DNXT -c -o rewrt.o rewrt.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -ansi -DNXT -c -o cache.o cache.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -ansi -DNXT -c -o alternating.o alternating.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -ansi -DNXT -c -o generalized.o generalized.c rewrt.c: In function 'canonical': rewrt.c:63: warning: suggest parentheses around assignment used as truth value main.c: In function 'alldone': main.c:61: warning: implicit declaration of function 'unlink' buchi.c: In function 'simplify_btrans': buchi.c:114: warning: format '%i' expects type 'int', but argument 3 has type '__time_t' buchi.c:114: warning: format '%06i' expects type 'int', but argument 4 has type '__suseconds_t' buchi.c: In function 'remove_btrans': buchi.c:132: warning: unused variable 'i' main.c: In function 'main': main.c:196: warning: unused variable 'cmd' main.c:160: warning: unused variable 'i' main.c:190: warning: ignoring return value of 'fgets', declared with attribute warn_unused_result main.c: In function 'tl_endstats': main.c:232: warning: unused variable 'Stack_mx' buchi.c: In function 'simplify_bstates': buchi.c:229: warning: format '%i' expects type 'int', but argument 3 has type '__time_t' buchi.c:229: warning: format '%06i' expects type 'int', but argument 4 has type '__suseconds_t' cache.c: In function 'cached': cache.c:81: warning: suggest parentheses around assignment used as truth value alternating.c: In function 'boolean': alternating.c:149: warning: unused variable 'id' main.c: In function 'main': main.c:208: warning: control reaches end of non-void function buchi.c: In function 'print_spin_buchi': buchi.c:468: warning: unused variable 'init_count' alternating.c: In function 'mk_alternating': alternating.c:437: warning: format '%i' expects type 'int', but argument 3 has type '__time_t' alternating.c:437: warning: format '%06i' expects type 'int', but argument 4 has type '__suseconds_t' buchi.c: In function 'mk_buchi': buchi.c:624: warning: format '%i' expects type 'int', but argument 3 has type '__time_t' buchi.c:624: warning: format '%06i' expects type 'int', but argument 4 has type '__suseconds_t' generalized.c: In function 'simplify_gtrans': generalized.c:155: warning: format '%i' expects type 'int', but argument 3 has type '__time_t' generalized.c:155: warning: format '%06i' expects type 'int', but argument 4 has type '__suseconds_t' generalized.c: In function 'simplify_gstates': generalized.c:248: warning: format '%i' expects type 'int', but argument 3 has type '__time_t' generalized.c:248: warning: format '%06i' expects type 'int', but argument 4 has type '__suseconds_t' generalized.c: In function 'make_gtrans': generalized.c:393: warning: unused variable 'free' generalized.c:392: warning: unused variable 't' parse.c: In function 'tl_parse': parse.c:568: warning: implicit declaration of function 'put_uform' generalized.c: In function 'mk_generalized': generalized.c:622: warning: format '%i' expects type 'int', but argument 3 has type '__time_t' generalized.c:622: warning: format '%06i' expects type 'int', but argument 4 has type '__suseconds_t' generalized.c:627:34: warning: "/*" within comment generalized.c:573: warning: unused variable 'i' gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables -ansi -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.EoYC9l + umask 022 + cd /builddir/build/BUILD + '[' /builddir/build/BUILDROOT/ltl2ba-1.1-2.fc12.i386 '!=' / ']' + rm -rf /builddir/build/BUILDROOT/ltl2ba-1.1-2.fc12.i386 ++ dirname /builddir/build/BUILDROOT/ltl2ba-1.1-2.fc12.i386 + mkdir -p /builddir/build/BUILDROOT + mkdir /builddir/build/BUILDROOT/ltl2ba-1.1-2.fc12.i386 + cd ltl2ba-1.1 + LANG=C + export LANG + unset DISPLAY + rm -rf /builddir/build/BUILDROOT/ltl2ba-1.1-2.fc12.i386 + mkdir -p /builddir/build/BUILDROOT/ltl2ba-1.1-2.fc12.i386/usr/bin + cp -p ltl2ba /builddir/build/BUILDROOT/ltl2ba-1.1-2.fc12.i386/usr/bin + /usr/lib/rpm/find-debuginfo.sh --strict-build-id /builddir/build/BUILD/ltl2ba-1.1 extracting debug info from /builddir/build/BUILDROOT/ltl2ba-1.1-2.fc12.i386/usr/bin/ltl2ba 237 blocks + /usr/lib/rpm/check-buildroot + /usr/lib/rpm/redhat/brp-compress + /usr/lib/rpm/redhat/brp-strip-static-archive /usr/bin/strip + /usr/lib/rpm/redhat/brp-strip-comment-note /usr/bin/strip /usr/bin/objdump + /usr/lib/rpm/brp-python-bytecompile + /usr/lib/rpm/redhat/brp-python-hardlink + /usr/lib/rpm/redhat/brp-java-repack-jars Executing(%check): /bin/sh -e /var/tmp/rpm-tmp.vNDcCu + umask 022 + cd /builddir/build/BUILD + cd ltl2ba-1.1 + unset DISPLAY + ./ltl2ba -f true never { /* true */ accept_init: if :: (1) -> goto accept_init fi; } Processing files: ltl2ba-1.1-2.fc12.i686 Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.MwKw5C + exit 0 + umask 022 + cd /builddir/build/BUILD + cd ltl2ba-1.1 + DOCDIR=/builddir/build/BUILDROOT/ltl2ba-1.1-2.fc12.i386/usr/share/doc/ltl2ba-1.1 + export DOCDIR + rm -rf /builddir/build/BUILDROOT/ltl2ba-1.1-2.fc12.i386/usr/share/doc/ltl2ba-1.1 + /bin/mkdir -p /builddir/build/BUILDROOT/ltl2ba-1.1-2.fc12.i386/usr/share/doc/ltl2ba-1.1 + cp -pr README LICENSE /builddir/build/BUILDROOT/ltl2ba-1.1-2.fc12.i386/usr/share/doc/ltl2ba-1.1 + exit 0 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Requires: libc.so.6 libc.so.6(GLIBC_2.0) libc.so.6(GLIBC_2.1) libc.so.6(GLIBC_2.3) libc.so.6(GLIBC_2.3.4) libc.so.6(GLIBC_2.4) rtld(GNU_HASH) Processing files: ltl2ba-debuginfo-1.1-2.fc12.i686 Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILDROOT/ltl2ba-1.1-2.fc12.i386 warning: Could not canonicalize hostname: x86-20.phx2.fedoraproject.org Wrote: /builddir/build/RPMS/ltl2ba-1.1-2.fc12.i686.rpm Wrote: /builddir/build/RPMS/ltl2ba-debuginfo-1.1-2.fc12.i686.rpm Executing(%clean): /bin/sh -e /var/tmp/rpm-tmp.lyBCZ2 + umask 022 + cd /builddir/build/BUILD + cd ltl2ba-1.1 + rm -rf /builddir/build/BUILDROOT/ltl2ba-1.1-2.fc12.i386 + exit 0 Child returncode was: 0 LEAVE do -->