[Ada] Update URL and bug report instructions

2020-06-04  Arnaud Charlet  <charlet@adacore.com>

gcc/ada/

	* comperr.adb (Compiler_Abort): Update URL and bug report
	instructions.

diff --git a/gcc/ada/comperr.adb b/gcc/ada/comperr.adb
index 7332750..21962ce 100644 (file)
--- a/gcc/ada/comperr.adb
+++ b/gcc/ada/comperr.adb
@@ -310,8 +310,8 @@ package body Comperr is
                   End_Line;
 
                   Write_Str
-                    ("| http://www.adacore.com/ " &
-                     "section 'send a report'.");
+                    ("| https://www.adacore.com/login?mode=gap " &
+                     "section 'Create New Ticket'.");
                   End_Line;
 
                   Write_Str
@@ -325,8 +325,8 @@ package body Comperr is
                   End_Line;
 
                   Write_Str
-                    ("| http://www.adacore.com/gnattracker/ " &
-                     "section 'send a report'.");
+                    ("| https://www.adacore.com/login " &
+                     "section 'Create New Ticket'.");
                   End_Line;
 
                   Write_Str