From 0d30490c0e2e545d5c575f668c7f89ea4ff505c7 Mon Sep 17 00:00:00 2001 From: Tobias Reiher Date: Wed, 17 Apr 2024 18:09:43 +0200 Subject: [PATCH] Fix cleaning of example apps Ref. None --- examples/apps/dccp/Makefile | 2 +- examples/apps/dhcp_client/Makefile | 2 +- examples/apps/ping/Makefile | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) 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 $^