projects / git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(merge: 689010c c531203)
Merge branch 'rj/make-clean'
authorJunio C Hamano <gitster@pobox.com>
Thu, 17 Dec 2020 23:06:40 +0000 (15:06 -0800)
committerJunio C Hamano <gitster@pobox.com>
Thu, 17 Dec 2020 23:06:40 +0000 (15:06 -0800)
commitf0c592dcfd736060354426e3994fb110d33a8c46
treece6ebe749289e3e48c444e1938b2c0aad610b131tree | snapshot
parent689010ca3ce5f277b1e4f98a31193bc7adbaf606commit | diff
parentc5312033dd81771def2268d57f64e5551d9e11bfcommit | diff
Merge branch 'rj/make-clean'

Build optimization.

* rj/make-clean:
  Makefile: don't use a versioned temp distribution directory
  Makefile: don't try to clean old debian build product
  gitweb/Makefile: conditionally include ../GIT-VERSION-FILE
  Documentation/Makefile: conditionally include ../GIT-VERSION-FILE
  Documentation/Makefile: conditionally include doc.dep
Documentation/Makefile diff1 | diff2 | blob | history
Makefile diff1 | diff2 | blob | history
Unnamed repository; edit this file 'description' to name the repository.