From b8c8968b69f60bef96fd7e53b29f59297d9b74c7 Mon Sep 17 00:00:00 2001
From: Anonymous Maarten <anonymous.maarten@gmail.com>
Date: Sat, 22 Jul 2023 21:19:14 +0200
Subject: [PATCH] ci: disable precompiled headers for riscos

---
 .github/workflows/riscos.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/riscos.yml b/.github/workflows/riscos.yml
index 02c046d90b..2f1869e370 100644
--- a/.github/workflows/riscos.yml
+++ b/.github/workflows/riscos.yml
@@ -28,6 +28,7 @@ jobs:
         cmake -S . -B build -G Ninja \
           -Wdeprecated -Wdev -Werror \
           -DCMAKE_TOOLCHAIN_FILE=/home/riscos/env/toolchain-riscos.cmake \
+          -DCMAKE_DISABLE_PRECOMPILE_HEADERS=ON \
           -DRISCOS:BOOL=ON \
           -DSDL_GCC_ATOMICS=OFF \
           -DSDL_TESTS=ON \