Merge branch 'maint'

Whaileee · Whaileee · commit 4a3b5c99795d · 2025-12-02T18:51:32.000+01:00
diff --git a/lib/snmp/src/misc/Makefile b/lib/snmp/src/misc/Makefile
@@ -98,6 +98,9 @@ ERL_COMPILE_FLAGS += -I../../include \
                      -I$(ERL_TOP)/lib/stdlib \
                      $(SNMP_FLAGS)
 
+ifeq ($(ERL_DETERMINISTIC),yes)
+  ASN1_OPTS += +deterministic
+endif
 
 # ----------------------------------------------------
 # Targets
