[Ada] Force even timestamp in Windows ALI files
authorDmitriy Anisimkov <anisimko@adacore.com>
Tue, 17 Sep 2019 08:02:20 +0000 (08:02 +0000)
committerPierre-Marie de Rodat <pmderodat@gcc.gnu.org>
Tue, 17 Sep 2019 08:02:20 +0000 (08:02 +0000)
commit64989f18c04c7444ecb67da9a6ccecbe40bb1c12
treec128caed43ac249d36ad8ce6fe95cbd81751d8f2
parent8df56dfc6991bda3c1cfa9d102c49d963763d5b4
[Ada] Force even timestamp in Windows ALI files

Old versions forced even file timestamp in Windows in
GNAT.OS_Lib.GM_Split implementation. We removed this time distortion in
GNAT.OS_Lib.GM_Split a few commits. But gprbuild became unnecessary
recompiling the sources in 50% cases, when the source has odd file
timestamp. This commit is restoring the compatibility between new
gprbuild and old GNAT compilers.

2019-09-17  Dmitriy Anisimkov  <anisimko@adacore.com>

gcc/ada/

* make_util.ads (On_Windows): Move...
* osint.ads (On_Windows): There.
* osint.adb (OS_Time_To_GNAT_Time): If odd incremented on
Windows before conversion to Time_Stamp_Type.

From-SVN: r275789
gcc/ada/ChangeLog
gcc/ada/make_util.ads
gcc/ada/osint.adb
gcc/ada/osint.ads