Merge remote-tracking branch 'origin/ci-display-asn1c-commit' into integration_2023_w47

2023-11-23 14:21:36 +01:00
parent 041758a13a 207f65992e
commit 3217a3745b
1 changed files with 2 additions and 0 deletions
@@ -667,6 +667,8 @@ install_asn1c_from_source(){
    git clone https://github.com/mouse07410/asn1c /tmp/asn1c
    cd /tmp/asn1c
    git checkout vlm_master
+    # Showing which version is used
+    git log -n1
    autoreconf -iv
    ./configure --prefix /opt/asn1c/
    make -j`nproc`