diff options
| author | Junio C Hamano <gitster@pobox.com> | 2013-02-14 16:06:24 -0800 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2013-02-14 16:06:24 -0800 |
| commit | f5af28b8e9db6617bd991c176adc3fe820091e7f (patch) | |
| tree | f2b31eaddb4706e1e99f72666dd0c8a23b431b10 /Documentation/user-manual.txt | |
| parent | b1bcb973af0c4d9aceffad43104bb2f4d406dd3b (diff) | |
| parent | 61564ca5bf29bb8039b865514a7593fc7b6c5440 (diff) | |
| download | git-f5af28b8e9db6617bd991c176adc3fe820091e7f.tar.gz | |
Merge branch 'mk/make-rm-depdirs-could-be-empty'
"make COMPUTE_HEADER_DEPENDENCIES=no clean" would try to run "rm
-rf $(dep_dirs)" with an empty dep_dir, but some implementations of
"rm -rf" barf on an empty argument list.
* mk/make-rm-depdirs-could-be-empty:
Makefile: don't run "rm" without any files
Diffstat (limited to 'Documentation/user-manual.txt')
0 files changed, 0 insertions, 0 deletions