From a705953b84e6a288f7ee6094e9d7d5a3655b4151 Mon Sep 17 00:00:00 2001 From: Pierre-Marie de Rodat Date: Fri, 12 May 2023 12:26:43 +0000 Subject: [PATCH] ada_api/source_files: add debug output in case of GPR1/GPR2 mismatch --- testsuite/tests/ada_api/source_files/main.adb | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/testsuite/tests/ada_api/source_files/main.adb b/testsuite/tests/ada_api/source_files/main.adb index 37a8d3c82..95c19f6ea 100644 --- a/testsuite/tests/ada_api/source_files/main.adb +++ b/testsuite/tests/ada_api/source_files/main.adb @@ -156,6 +156,14 @@ procedure Main is end if; if GPR1_Sources /= GPR2_Sources then + Put_Line ("With GPR1:"); + for F of GPR1_Sources loop + Put_Line (" " & To_String (F)); + end loop; + Put_Line ("With GPR2:"); + for F of GPR2_Sources loop + Put_Line (" " & To_String (F)); + end loop; raise Program_Error with "got different sources with GPR2"; end if; end;