diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2015-08-21 14:17:21 +0200 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2015-08-21 14:17:21 +0200 |
| commit | 806872b5a7c8dc4e69e7b36bd49019af2871c70e (patch) | |
| tree | dbcc4a60917b19c8fbbce7c2e0b8dfa67e1c273a /Makefile.extr | |
| parent | adeea8cdb4c880973fd9404659c09509e70197cd (diff) | |
| download | compcert-806872b5a7c8dc4e69e7b36bd49019af2871c70e.tar.gz compcert-806872b5a7c8dc4e69e7b36bd49019af2871c70e.zip | |
Erase incomplete file .depend.extr if "make depend" fails.
Diffstat (limited to 'Makefile.extr')
| -rw-r--r-- | Makefile.extr | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/Makefile.extr b/Makefile.extr index 4e17e904..1bb3eec8 100644 --- a/Makefile.extr +++ b/Makefile.extr @@ -162,10 +162,9 @@ clean: depend: $(GENERATED) @echo "Analyzing OCaml dependencies" - @$(OCAMLDEP) $(foreach d,$(DIRS),$(wildcard $(d)/*.mli $(d)/*.ml)) >.depend.extr - @$(OCAMLDEP) $(GENERATED) >> .depend.extr + @$(OCAMLDEP) $(foreach d,$(DIRS),$(wildcard $(d)/*.mli $(d)/*.ml)) $(GENERATED) >.depend.extr || { rm -f .depend.extr; exit 2; } ifneq ($(strip $(DIRS_P4)),) - @$(OCAMLDEP_P4) $(foreach d,$(DIRS_P4),$(wildcard $(d)/*.mli $(d)/*.ml)) >>.depend.extr + @$(OCAMLDEP_P4) $(foreach d,$(DIRS_P4),$(wildcard $(d)/*.mli $(d)/*.ml)) >>.depend.extr || { rm -f .depend.extr; exit 2; } endif |