diff --git a/examples/apps/dccp/Makefile b/examples/apps/dccp/Makefile index 452b240e0..e0b08ec81 100644 --- a/examples/apps/dccp/Makefile +++ b/examples/apps/dccp/Makefile @@ -19,7 +19,7 @@ prove: $(GNATPROVE_CACHE_DIR) $(GENERATED) generate: $(GENERATED) $(GRAPHS) clean: - $(RM) generated/* obj/* + $(RM) -r generated/* obj/* $(GENERATED): $(SPECS) | generated rflx generate -d generated $^ diff --git a/examples/apps/dhcp_client/Makefile b/examples/apps/dhcp_client/Makefile index 9fd5ab825..aac88f6e7 100644 --- a/examples/apps/dhcp_client/Makefile +++ b/examples/apps/dhcp_client/Makefile @@ -22,7 +22,7 @@ prove: $(GNATPROVE_CACHE_DIR) $(GENERATED) generate: $(GENERATED) clean: - $(RM) generated/* obj/* + $(RM) -r generated/* obj/* $(GENERATED): $(SPECS) | generated rflx generate -d generated --debug built-in $^ diff --git a/examples/apps/ping/Makefile b/examples/apps/ping/Makefile index 70f751c49..fe25c3f7c 100644 --- a/examples/apps/ping/Makefile +++ b/examples/apps/ping/Makefile @@ -23,7 +23,7 @@ prove: $(GNATPROVE_CACHE_DIR) $(GENERATED) generate: $(GENERATED) clean: - $(RM) generated/* obj/* python + $(RM) -r generated/* obj/* python $(GENERATED): $(SPECS) | generated rflx generate -d generated --ignore-unsupported-checksum $^