forked from pool/antlr3
31 lines
1.3 KiB
Diff
31 lines
1.3 KiB
Diff
--- antlr3-3.5.3/tool/src/main/antlr3/org/antlr/grammar/v3/CodeGenTreeWalker.g 2023-09-15 17:54:38.044172037 +0200
|
|
+++ antlr3-3.5.3/tool/src/main/antlr3/org/antlr/grammar/v3/CodeGenTreeWalker.g 2023-09-15 17:58:10.758972706 +0200
|
|
@@ -56,6 +56,7 @@
|
|
import java.util.HashSet;
|
|
import java.util.Set;
|
|
import java.util.Collection;
|
|
+import java.util.Collections;
|
|
import org.antlr.runtime.BitSet;
|
|
import org.antlr.runtime.DFA;
|
|
import org.stringtemplate.v4.ST;
|
|
@@ -284,6 +285,7 @@
|
|
}
|
|
labels.add( label );
|
|
}
|
|
+ Collections.sort(labels); // ensure reproducible order
|
|
return labels;
|
|
}
|
|
|
|
--- antlr3-3.5.3/tool/src/main/java/org/antlr/Tool.java 2023-09-15 17:54:38.044172037 +0200
|
|
+++ antlr3-3.5.3/tool/src/main/java/org/antlr/Tool.java 2023-09-15 17:54:49.090915002 +0200
|
|
@@ -1052,6 +1052,9 @@
|
|
*/
|
|
public static String getCurrentTimeStamp() {
|
|
GregorianCalendar calendar = new java.util.GregorianCalendar();
|
|
+ if (System.getenv("SOURCE_DATE_EPOCH") != null) {
|
|
+ calendar.setTimeInMillis(1000 * Long.parseLong(System.getenv("SOURCE_DATE_EPOCH")));
|
|
+ }
|
|
int y = calendar.get(Calendar.YEAR);
|
|
int m = calendar.get(Calendar.MONTH) + 1; // zero-based for months
|
|
int d = calendar.get(Calendar.DAY_OF_MONTH);
|