CI updates and minor cleanups.

2023-12-02 01:48:26 +01:00
parent 67564513d2
commit 1e6e4043ed
11 changed files with 39 additions and 34 deletions
@@ -34,7 +34,7 @@ RUN apt-get update && apt-get upgrade -y \
        # Windows cross compilers
        g++-mingw-w64-i686 \
        g++-mingw-w64-x86-64 \
-    # make sure that we use posix-threads (pthreads) and NOT win32-threads
+    # make sure that we use posix-threads (pthread/winpthreads) and NOT win32-threads
    && for f in i686-w64-mingw32-g++ i686-w64-mingw32-gcc x86_64-w64-mingw32-g++ x86_64-w64-mingw32-gcc; do update-alternatives --set $f /usr/bin/$f-posix; done \
    && true
 RUN apt-get install -y \