mirror of
https://github.com/gentoo-mirror/gentoo.git
synced 2025-12-21 21:17:37 -08:00
23 lines
896 B
Diff
23 lines
896 B
Diff
--- 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),
|