From 3b3eb2e50023c7b793de78fde9bb8079ea98d086 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Marcin=20Cie=C5=9Blak?= Date: Fri, 27 Feb 2026 12:57:52 +0100 Subject: [PATCH] Disconnect wsdl2aws-generator-name.adb from the build The file got removed in d0b8dbdfe31f141383b15143fca834eea8412cb7 but it is still referenced in tools/tools.gpr tools.gpr:57:53: unknown file "wsdl2aws-generator-name_set.adb" gprbuild: "tools/tools.gpr" processing failed gmake: *** [Makefile:144: build-tools-native] Error 5 --- tools/tools.gpr | 1 - 1 file changed, 1 deletion(-) diff --git a/tools/tools.gpr b/tools/tools.gpr index e6e502afa..bb4af8a63 100644 --- a/tools/tools.gpr +++ b/tools/tools.gpr @@ -42,7 +42,6 @@ project Tools is for Locally_Removed_Files use Project'Locally_Removed_Files & ("wsdl2aws.ads", "wsdl2aws-generator.adb", "wsdl2aws-generator.ads", "wsdl2aws-generator-cb.adb", - "wsdl2aws-generator-name_set.adb", "wsdl2aws-generator-skel.adb", "wsdl2aws-generator-stub.adb", "wsdl2aws-main.adb", "wsdl2aws-wsdl-parameters.adb", "wsdl2aws-wsdl-parameters.ads", "wsdl2aws-wsdl-parser.adb",