On Thu, Nov 20, 2008 at 02:21:07PM +0100, martin f krafft wrote: > also sprach Roger Leigh <rleigh@xxxxxxxxxxxxx> [2008.11.19.1237 +0100]: > > These are provided by upstream so that end users don't need these tools > > installed (particularly docbook, since the toolchain is so flaky on > > different systems). However, the fact that git isn't storing the > > mtime of the files confuses make, so it then tries to regenerate these > > (already up-to-date) files, and fails in the process since the tools > > aren't available. > > I don't get it. Why are end users running make in the first place? > Why aren't those in the build-dependencies? By end user, I mean person downloading and building the sources. They are optional build depdendencies. They are provided pre-built, and won't be rebuilt unless they get outdated. In the release tarball, the timestamps are correct, ensuring this never happens. When checking out with git, the timestamps are incorrect, and it attempts to rebuild something that's *already built*. Regards, Roger -- .''`. Roger Leigh : :' : Debian GNU/Linux http://people.debian.org/~rleigh/ `. `' Printing on GNU/Linux? http://gutenprint.sourceforge.net/ `- GPG Public Key: 0x25BFB848 Please GPG sign your mail. -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
