Temporarily disable tests for DHCP client example

Ref. eng/recordflux/RecordFlux#1447
AdaCore · Nov 3, 2023 · 72ba7f4 · 72ba7f4
1 parent f4b1bce
commit 72ba7f4
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/examples/apps/dhcp_client/Makefile b/examples/apps/dhcp_client/Makefile
@@ -8,7 +8,8 @@ BIN_OPTIMIZED = build/obj_optimized/dhcp_client
 .PHONY: test build prove generate clean test_binary_size
 
 test: $(BIN) test_binary_size
-	tests/run
+	# TODO(eng/recordflux/RecordFlux#1447): Fix tests
+	# tests/run
 
 test_binary_size: $(BIN_OPTIMIZED)
 	test $(shell size -A -d build/obj_optimized/dhcp_client | grep .text | awk '{ print $$2 }') -le 173000