diff options
author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2011-08-04 13:21:16 +0000 |
---|---|---|
committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2011-08-04 13:21:16 +0000 |
commit | 3435bff323233118b779a568d0cc8c81d5f48e6c (patch) | |
tree | 07b391adefd81f9e597c3fb5aaf888aeb8d9b32f /gcc/ada/osint.adb | |
parent | 719b8d3eb09c657ee5a0ad57666035954c8d164d (diff) | |
download | gcc-3435bff323233118b779a568d0cc8c81d5f48e6c.tar.gz |
2011-08-04 Emmanuel Briot <briot@adacore.com>
* make.adb, makeutl.adb, osint.adb, osint.ads (Check_Mains): rebuild
the list of files on the command line after processing it through
Complete_Mains.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@177380 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/osint.adb')
-rw-r--r-- | gcc/ada/osint.adb | 11 |
1 files changed, 10 insertions, 1 deletions
diff --git a/gcc/ada/osint.adb b/gcc/ada/osint.adb index 248845f3fba..408384ca88b 100644 --- a/gcc/ada/osint.adb +++ b/gcc/ada/osint.adb @@ -6,7 +6,7 @@ -- -- -- B o d y -- -- -- --- Copyright (C) 1992-2010, Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2011, Free Software Foundation, Inc. -- -- -- -- GNAT is free software; you can redistribute it and/or modify it under -- -- terms of the GNU General Public License as published by the Free Soft- -- @@ -2749,6 +2749,15 @@ package body Osint is return new String'(Path); end Relocate_Path; + ------------------------------ + -- Reset_Command_Line_Files -- + ------------------------------ + + procedure Reset_Command_Line_Files is + begin + Number_File_Names := 0; + end Reset_Command_Line_Files; + ----------------- -- Set_Program -- ----------------- |