fix recently broken TLS build error, and add coverage for CI (#7833)

(cherry picked from commit a735bf5c2a)
2020-10-27 09:12:01 +02:00
parent 2ccbba650c
commit 26c1c60187
2 changed files with 4 additions and 3 deletions
@@ -9,7 +9,8 @@ jobs:
    steps:
    - uses: actions/checkout@v2
    - name: make
-      run: make
+      # build with TLS just for compilatoin coverage
+      run: make BUILD_TLS=yes
    - name: test
      run: |
        sudo apt-get install tcl8.5