diff options
| author |  Junio C Hamano <gitster@pobox.com> | 2017-03-30 14:07:19 -0700 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2017-03-30 14:07:19 -0700 |
| commit | 876eb616d306868793997df1adc0331d0f18012f (patch) | |
| tree | e6ec49453769c963d3550a2641a19387f3ba626a | |
| parent | Merge branch 'bc/push-cert-receive-fix' (diff) | |
| parent | Makefile: detect errors in running spatch (diff) | |
| download | tgif-876eb616d306868793997df1adc0331d0f18012f.tar.xz | |
Merge branch 'jk/make-coccicheck-detect-errors'
Build fix.
* jk/make-coccicheck-detect-errors:
Makefile: detect errors in running spatch
| -rw-r--r-- | Makefile | 12 |
1 files changed, 10 insertions, 2 deletions
@@ -2348,9 +2348,17 @@ check: common-cmds.h C_SOURCES = $(patsubst %.o,%.c,$(C_OBJ)) %.cocci.patch: %.cocci $(C_SOURCES) @echo ' ' SPATCH $<; \ + ret=0; \ for f in $(C_SOURCES); do \ - $(SPATCH) --sp-file $< $$f $(SPATCH_FLAGS); \ - done >$@ 2>$@.log; \ + $(SPATCH) --sp-file $< $$f $(SPATCH_FLAGS) || \ + { ret=$$?; break; }; \ + done >$@+ 2>$@.log; \ + if test $$ret != 0; \ + then \ + cat $@.log; \ + exit 1; \ + fi; \ + mv $@+ $@; \ if test -s $@; \ then \ echo ' ' SPATCH result: $@; \ |