1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
--- a/gpr/src/gpr-compilation-process.adb 2025-12-02 20:16:02.856971670 +0100
+++ b/gpr/src/gpr-compilation-process.adb 2025-12-02 20:16:18.920776145 +0100
@@ -41,7 +41,7 @@
-- A set of key=value
package Prj_Maps is new Containers.Indefinite_Ordered_Maps
- (String, Env_Maps.Map, Env_Maps."<", Env_Maps."=");
+ (String, Env_Maps.Map, "<", Env_Maps."=");
-- A set of project+language=map
function "<" (Left, Right : Id) return Boolean is
--- a/gpr/src/gpr-compilation-protocol.adb 2025-12-02 20:38:54.332285274 +0100
+++ b/gpr/src/gpr-compilation-protocol.adb 2025-12-02 20:39:35.690782208 +0100
@@ -978,7 +978,7 @@
Set_File_Last_Modify_Time_Stamp
(Path_Name,
To_Ada
- (time_t
+ (Long_Long_Integer
(Conversions.To_Unix_Time
(Time_Of
(TS (1, 4), TS (5, 6), TS (7, 8),
|