On Sun, Nov 05, 2017 at 09:50:17PM +0100, Uwe Kleine-König wrote: > On 11/05/2017 09:38 PM, Josh Triplett wrote: > > On Sun, Nov 05, 2017 at 09:16:31PM +0100, Luc Van Oostenryck wrote: > >> The real question would be: "is there anybody, doing some kind of > >> development on sparse and who won't use git?" > > > > Sure: anyone doing packaging. If someone wants to package Sparse for a > > distribution, they'll likely do so in a way that does not include .git > > in the source package. And if that package wants to "make clean" for any > > reason, or if someone grabs the source from that distribution for > > development and happens to run "make clean", that would be *bad*. > > Ack with my sparse Debian package maintainer hat on. If you check the > Debian build logs (e.g. > https://buildd.debian.org/status/fetch.php?pkg=sparse&arch=arm64&ver=0.5.1-2&stamp=1506419417&raw=0) > you can see that the first relevant step after extracting the source tar > and applying patches is to run make clean. OK, then it's definitively not an option. Thanks to both of you. -- Luc -- To unsubscribe from this list: send the line "unsubscribe linux-sparse" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
