diff options
| author |  Felipe Contreras <felipe.contreras@gmail.com> | 2021-05-21 17:29:40 -0500 |
|---|---|---|
| committer |  Junio C Hamano <gitster@pobox.com> | 2021-05-24 18:08:22 +0900 |
| commit | db10fc6c09f1f74c4d0a9294ecbb68d390f54f15 (patch) | |
| tree | 6447030fb9e52f5e00f778b68f1eac6fbfed949d /Documentation/git-push.txt | |
| parent | doc: remove unnecessary rm instances (diff) | |
| download | tgif-db10fc6c09f1f74c4d0a9294ecbb68d390f54f15.tar.xz | |
doc: simplify Makefile using .DELETE_ON_ERROR
Currently GNU make already removes files when catching an interruption
signal, however, in order to deal with other kinds of errors a
workaround is in place to store target output to a temporary file, and
only move it to its right place on success.
By enabling the built-in .DELETE_ON_ERROR we let make do this task, so
we don't have to.
This way the rules can be simplified a lot.
Suggested-by: Ævar Arnfjörð Bjarmason <avarab@gmail.com>
Signed-off-by: Felipe Contreras <felipe.contreras@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation/git-push.txt')
0 files changed, 0 insertions, 0 deletions