-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 On 21/02/13 02:56 AM, Michael Tautschnig wrote: > Hi, > >> How did you obtain and unpack the sources? noweb comes with >> certain files prebuilt, but if some timestamps are incorrect, >> then it will try to rebuild the files, trying to use an >> already-installed noweb, which won't be found. >> > [...] > > Is this quite possibly a race condition in patching files? Note > that > > debian/patches/12_nostrip.dpatch > > patches both src/Makefile and src/Makefile.nw. Depending on which > of them gets written to disk first, the problematic rule Makefile: > Makefile.nw will be triggered or not. > > Or am I missing some other magic patch that would ensure that > Makefile is newer? > > Best, Michael >
Yes, 12_nostrip.patch is also supposed to set the timestamp (2008-06-11 12:46:32 -0400 for Makefile, and 2008-06-11 12:46:12 -0400 for Makefile.nw). Maybe that isn't working like it used to. I guess I'll have to add the Makefile to debian/patches/99_touch.dpatch - -- Hubert Chathi <uho...@debian.org> -- Jabber: hub...@uhoreg.ca PGP/GnuPG key: 1024D/124B61FA http://www.uhoreg.ca/ Fingerprint: 96C5 012F 5F74 A5F7 1FF7 5291 AF29 C719 124B 61FA -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.10 (GNU/Linux) Comment: Using GnuPG with Icedove - http://www.enigmail.net/ iEYEAREIAAYFAlEmVgYACgkQrynHGRJLYfqCRwCffwMl12wN03sf/nX8aIVLuFeD +dwAnR2LkLvshapRCBIP7/fgUacpo+Tf =s4Gt -----END PGP SIGNATURE----- -- To UNSUBSCRIBE, email to debian-bugs-rc-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org