diff options
| author | Damien George | 2014-04-17 00:25:29 +0100 |
|---|---|---|
| committer | Damien George | 2014-04-17 00:25:29 +0100 |
| commit | 8865b22b5121934d5e9a0c5c5a541bb1e75740be (patch) | |
| tree | 89127df2b71af29899b841da79cc6aedcb4ea4be | |
| parent | b08f9212e2a2e2742963eeac2e5d742696a2825a (diff) | |
| parent | 1a797edd3bfd94387b2f4c88ee9ed79d9c2172de (diff) | |
Merge pull request #501 from dhylands/fix-gen-fail
Remove generated .h file if the generation process fails.
| -rw-r--r-- | py/mkenv.mk | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/py/mkenv.mk b/py/mkenv.mk index 8ae54f06b..4bc71edd7 100644 --- a/py/mkenv.mk +++ b/py/mkenv.mk @@ -54,4 +54,6 @@ STRIP = $(CROSS_COMPILE)strip all: .PHONY: all +.DELETE_ON_ERROR: + MKENV_INCLUDED = 1 |