(#1224) Enable TCC build on GitHub Actions

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index c217f66d4f6352bdbcf1839d5defe98152c2da16..45ca68e2953aaa114aa4cf8ec33073ff2c32ab7f 100644 (file)
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -2,6 +2,22 @@ name: CI
 on: [push, pull_request]
 
 jobs:
+  build-linux-tcc:
+    runs-on: ubuntu-18.04
+    steps:
+      - uses: actions/checkout@v1
+      - name: install dependencies
+        run: |
+          sudo apt-get update
+          sudo apt-get install -qq libsdl2-dev tcc
+      - name: build nothing
+        run: |
+          ./build-posix.sh
+        env:
+          CC: tcc
+          CFLAGS: -DSDL_DISABLE_IMMINTRIN_H -L/usr/lib/x86_64-linux-gnu/pulseaudio
+          NOTHING_CI: on
+
   build-linux-gcc:
     runs-on: ubuntu-18.04
     steps: