comparison gcc/ada/make_util.ads @ 131:84e7813d76e9

gcc-8.2
author mir3636
date Thu, 25 Oct 2018 07:37:49 +0900
parents 04ced10e8804
children 1830386684a0
comparison
equal deleted inserted replaced
111:04ced10e8804 131:84e7813d76e9
4 -- -- 4 -- --
5 -- M A K E _ U T I L -- 5 -- M A K E _ U T I L --
6 -- -- 6 -- --
7 -- S p e c -- 7 -- S p e c --
8 -- -- 8 -- --
9 -- Copyright (C) 2004-2017, Free Software Foundation, Inc. -- 9 -- Copyright (C) 2004-2018, Free Software Foundation, Inc. --
10 -- -- 10 -- --
11 -- GNAT is free software; you can redistribute it and/or modify it under -- 11 -- GNAT is free software; you can redistribute it and/or modify it under --
12 -- terms of the GNU General Public License as published by the Free Soft- -- 12 -- terms of the GNU General Public License as published by the Free Soft- --
13 -- ware Foundation; either version 3, or (at your option) any later ver- -- 13 -- ware Foundation; either version 3, or (at your option) any later ver- --
14 -- sion. GNAT is distributed in the hope that it will be useful, but WITH- -- 14 -- sion. GNAT is distributed in the hope that it will be useful, but WITH- --
182 ------------------------- 182 -------------------------
183 183
184 procedure Fail_Program 184 procedure Fail_Program
185 (S : String; 185 (S : String;
186 Flush_Messages : Boolean := True); 186 Flush_Messages : Boolean := True);
187 pragma No_Return (Fail_Program);
187 -- Terminate program with a message and a fatal status code 188 -- Terminate program with a message and a fatal status code
188 189
189 procedure Finish_Program 190 procedure Finish_Program
190 (Exit_Code : Osint.Exit_Code_Type := Osint.E_Success; 191 (Exit_Code : Osint.Exit_Code_Type := Osint.E_Success;
191 S : String := ""); 192 S : String := "");
193 pragma No_Return (Finish_Program);
192 -- Terminate program, with or without a message, setting the status code 194 -- Terminate program, with or without a message, setting the status code
193 -- according to Fatal. This properly removes all temporary files. 195 -- according to Fatal. This properly removes all temporary files.
194 196
195 ----------- 197 -----------
196 -- Mains -- 198 -- Mains --