diff options
author | Arnaud Charlet <charlet@gcc.gnu.org> | 2009-11-30 16:10:58 +0100 |
---|---|---|
committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2009-11-30 16:10:58 +0100 |
commit | c5fdd4ad9799cac7701e9ba82901f84a30957082 (patch) | |
tree | 01ad137364b62365a4863ad5ac8f9130b5822119 /gcc/ada/makeutl.adb | |
parent | 9cf032ef7dcf113d3ac0db470df9b813198624ad (diff) | |
download | gcc-c5fdd4ad9799cac7701e9ba82901f84a30957082.zip gcc-c5fdd4ad9799cac7701e9ba82901f84a30957082.tar.gz gcc-c5fdd4ad9799cac7701e9ba82901f84a30957082.tar.bz2 |
[multiple changes]
2009-11-30 Robert Dewar <dewar@adacore.com>
* g-sha256.ads, s-sehamd.ads, s-sehamd.adb, g-sha512.ads, g-sha224.ads,
g-sha384.ads: Minor reformatting
2009-11-30 Emmanuel Briot <briot@adacore.com>
* adaint.h (file_attributes): Reduce size of the structure, so that it
is less costly to store in records.
* makeutl.adb:
(Check_Source_Info_In_ALI): use Full_Source_Name instead of a direct
call to Find_File, since the former provides caching when appropriate,
which limits the number of system calls in some cases.
* osint.ads, prj.ads (Source_Data): do not store directly the timestamp,
but the file attributes since we also need access to the size of the
ALI file to parse it. This gives an opportunity for saving system calls
on Unix systems.
From-SVN: r154817
Diffstat (limited to 'gcc/ada/makeutl.adb')
-rw-r--r-- | gcc/ada/makeutl.adb | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/ada/makeutl.adb b/gcc/ada/makeutl.adb index 1f64da3..ab00b50 100644 --- a/gcc/ada/makeutl.adb +++ b/gcc/ada/makeutl.adb @@ -272,7 +272,7 @@ package body Makeutl is if not Fname.Is_Internal_File_Name (SD.Sfile) or else (Check_Readonly_Files - and then Find_File (SD.Sfile, Osint.Source) = No_File) + and then Full_Source_Name (SD.Sfile) = No_File) then if Verbose_Mode then Write_Line |