Your message dated Thu, 20 Mar 2008 21:32:09 +0000
with message-id <[EMAIL PROTECTED]>
and subject line Bug#471753: fixed in prover9-manual 0.0.200712-2
has caused the Debian Bug report #471753,
regarding prover9-manual: FTBFS with dash: cp: cannot stat `*.{html,css,gif}':
No such file or directory
to be marked as done.This means that you claim that the problem has been dealt with. If this is not the case it is now your responsibility to reopen the Bug report if necessary, and/or fix the problem forthwith. (NB: If you are a system administrator and have no idea what this message is talking about, this may indicate a serious mail system misconfiguration somewhere. Please contact [EMAIL PROTECTED] immediately.) -- 471753: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=471753 Debian Bug Tracking System Contact [EMAIL PROTECTED] with problems
--- Begin Message ---Package: prover9-manual Version: 0.0.200712-1 Severity: important User: [EMAIL PROTECTED] Usertags: qa-ftbfs-dash-20080319 qa-ftbfs-dash Hi, During a rebuild of all packages in sid using /bin/dash as /bin/sh, your package failed to build. Relevant part: > /usr/bin/fakeroot debian/rules clean > dh_testdir > dh_testroot > rm -f build-stamp > rm -rf finalbook > dh_clean > dpatch deapply-all > 01-entities not applied to ./ . > rm -rf patch-stamp patch-stampT debian/patched > dpkg-source -b prover9-manual-0.0.200712 > dpkg-source: building prover9-manual using existing > prover9-manual_0.0.200712.orig.tar.gz > dpkg-source: building prover9-manual in prover9-manual_0.0.200712-1.diff.gz > dpkg-source: warning: executable mode 0755 of > 'debian/patches/01-entities.dpatch' will not be represented in diff > dpkg-source: warning: ignoring deletion of file intro.html~ > dpkg-source: warning: ignoring deletion of file input.html~ > dpkg-source: building prover9-manual in prover9-manual_0.0.200712-1.dsc > debian/rules build > test -d debian/patched || install -d debian/patched > dpatch apply-all > applying patch 01-entities to ./ ... ok. > dpatch cat-all >>patch-stampT > mv -f patch-stampT patch-stamp > dh_testdir > # Rebuild the pdf to update it and point it to the correct example directory > mkdir -p finalbook > cp *.{html,css,gif} finalbook/ > cp: cannot stat `*.{html,css,gif}': No such file or directory > make: *** [build-stamp] Error 1 The full build log is available from: http://people.debian.org/~lucas/logs/2008/03/19 This bug is part of the "dash" release goal (see http://release.debian.org/lenny/goals.txt). If you intend to fix this bug yourself, please do so ASAP (and please indicate so in the bug log, by tagging it "pending", for example). If you don't, someone will probably take care of preparing an NMU (please note that 0-day NMU rules apply for bugs part of a release goal). If you want more information about dash as /bin/sh, you can read: http://lists.debian.org/debian-release/2008/01/msg00189.html https://wiki.ubuntu.com/DashAsBinSh A list of current common problems and possible solutions is available at http://wiki.debian.org/qa.debian.org/FTBFS . You're welcome to contribute! About the archive rebuild: The rebuild was done on about 50 AMD64 nodes of the Grid'5000 platform, using a clean chroot containing a sid i386 environment. Internet was not accessible from the build systems. -- | Lucas Nussbaum | [EMAIL PROTECTED] http://www.lucas-nussbaum.net/ | | jabber: [EMAIL PROTECTED] GPG: 1024D/023B3F4F |
--- End Message ---
--- Begin Message ---Source: prover9-manual Source-Version: 0.0.200712-2 We believe that the bug you reported is fixed in the latest version of prover9-manual, which is due to be installed in the Debian FTP archive: prover9-doc_0.0.200712-2_all.deb to pool/main/p/prover9-manual/prover9-doc_0.0.200712-2_all.deb prover9-manual_0.0.200712-2.diff.gz to pool/main/p/prover9-manual/prover9-manual_0.0.200712-2.diff.gz prover9-manual_0.0.200712-2.dsc to pool/main/p/prover9-manual/prover9-manual_0.0.200712-2.dsc A summary of the changes between this version and the previous one is attached. Thank you for reporting the bug, which will now be closed. If you have further comments please address them to [EMAIL PROTECTED], and the maintainer will reopen the bug report if appropriate. Debian distribution maintenance software pp. Peter Collingbourne <[EMAIL PROTECTED]> (supplier of updated prover9-manual package) (This message was generated automatically at their request; if you believe that there is a problem with it please contact the archive administrators by mailing [EMAIL PROTECTED]) -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.7 Date: Thu, 20 Mar 2008 20:37:05 +0000 Source: prover9-manual Binary: prover9-doc Architecture: source all Version: 0.0.200712-2 Distribution: unstable Urgency: low Maintainer: Peter Collingbourne <[EMAIL PROTECTED]> Changed-By: Peter Collingbourne <[EMAIL PROTECTED]> Description: prover9-doc - documentation for Prover9 and associated programs Closes: 471753 Changes: prover9-manual (0.0.200712-2) unstable; urgency=low . * debian/rules: removed bashism (closes: #471753) * debian/doc-base: changed Section to a valid value Files: 60e2a6ee5422a60d77f4c79511bf8b3d 757 doc optional prover9-manual_0.0.200712-2.dsc e7bad060b3062c0a39c39fe683392954 3705 doc optional prover9-manual_0.0.200712-2.diff.gz 6f0f04950262458b9d9c2623b37e81a3 795128 doc optional prover9-doc_0.0.200712-2_all.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.6 (GNU/Linux) iD8DBQFH4tYtBnqtBMk7/3kRAuPZAJoDdceYNFXzJhavCTRq0D3Dv9DtHACeOMDx +D+al2j91QuTTXuf2GiR1qY= =c1rI -----END PGP SIGNATURE-----
--- End Message ---
