Clean UDP as well

Mario Ruiz · Mario Ruiz · commit 844b0c07b615 · 2025-11-11T12:02:18.000Z
diff --git a/examples/07_udp/Makefile b/examples/07_udp/Makefile
@@ -71,4 +71,5 @@ clean:
 	rm -rf *.log *.jou *.str
 
 distclean: clean
+	make -C $(UDP_DIR) distclean
 	make -C $(BENCHMARK_DIR) distclean
