diff options
Diffstat (limited to '.github')
-rw-r--r-- | .github/workflows/build.yml | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index 1590df3..a685bb9 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -14,7 +14,7 @@ jobs: - uses: actions/checkout@v2 - name: Build Ubuntu run: | - ./configure --with-fastfloat + ./configure --with-fastfloat --with-threaded make make check @@ -24,7 +24,7 @@ jobs: - uses: actions/checkout@v2 - name: Build Ubuntu run: | - ./configure --with-fastfloat + ./configure --with-fastfloat --with-threaded make make check @@ -34,7 +34,7 @@ jobs: - uses: actions/checkout@v2 - name: Build MacOS run: | - ./configure --with-fastfloat + ./configure --with-fastfloat --with-threaded make make check @@ -81,7 +81,7 @@ jobs: - name: Build Ubuntu run: | - meson setup build -Dfastfloat=true + meson setup build -Dfastfloat=true -Dthreaded=true meson compile -C build meson test -C build |