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
pgpSZP745q4QS.pgp
Description: PGP signature
