]> git.pond.sub.org Git - empserver/commit
Fix make dist in a separate build directory without git
authorMarkus Armbruster <armbru@pond.sub.org>
Sun, 7 Dec 2008 23:13:38 +0000 (18:13 -0500)
committerMarkus Armbruster <armbru@pond.sub.org>
Sun, 7 Dec 2008 23:14:46 +0000 (18:14 -0500)
commite597257438ff94d4e87d3e640f8e8159c4dfb962
treefa6bfc9d7d30a19b5d7e9187821606248ec745e8
parent2454304dde6115d3d2bc66cf75c91b85edd86261
Fix make dist in a separate build directory without git

In that case, make copied the sources.mk from $srcdir, but unless it
existed already, the peculiar workings of VPATH did us in: make
searched for the target, found it in $srcdir, and the dependency
became circular.

Fix by keeping sources.mk in $srcdir always.  We can build it there,
because its contents depends only on git state, not on anything in the
build tree.  This avoids the need to copy sources.mk alltogether.
Make.mk