projects / git-tools-moved-to-github.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8c365b2) | patch
Do not try to rm OMIT_FROM_DIST files if they don't exist.
authorMike Taylor <mike@indexdata.com>
Fri, 13 Apr 2012 11:42:35 +0000 (12:42 +0100)
committerMike Taylor <mike@indexdata.com>
Fri, 13 Apr 2012 11:42:35 +0000 (12:42 +0100)
commit2bcec6e9759afb8ab7d09b38c808239ebee29b13
tree724c1f7a1ad67601dcac0397e5ece69fef7e5fa1tree | snapshot
parent8c365b2253f7bf851956f5c2a1ef32412125701acommit | diff
Do not try to rm OMIT_FROM_DIST files if they don't exist.
Mainly to avoid spurious warning about absent "debian" directory.
id-deb-build/mkdist.sh diff | blob | history
ID Git Tools.