Update CI scripts to continue testing PLI 1 support.

2026-09-02 20:28:57 +02:00 · 2025-10-18 20:07:23 +01:00
parent 935910c3c9
commit 6210c307fa
3 changed files with 4 additions and 3 deletions
@@ -29,7 +29,7 @@ jobs:
      run: |
        export PATH="/usr/local/opt/bison/bin:$PATH"
        autoconf
-        ./configure
+        ./configure --enable-libveriuser
        make -j$(nproc) check
        sudo make install

@@ -59,7 +59,7 @@ jobs:
    - name: Build, check and install
      run: |
        autoconf
-        ./configure
+        ./configure --enable-libveriuser
        make -j$(nproc) check
        sudo make install