Changes

#2793 (Sep 30, 2025, 10:06:07 AM)

1. contrib/jenkins: fix running "make distcheck" — Oliver Smith / detail

#2792 (Sep 30, 2025, 9:54:23 AM)

1. WIP — Oliver Smith / detail

#2790 (Sep 30, 2025, 9:28:04 AM)

1. DEBUG: make with V=1 — Oliver Smith / detail

#2789 (Sep 30, 2025, 9:26:42 AM)

1. DEBUG: make with V=1 — Oliver Smith / detail