From b8c8968b69f60bef96fd7e53b29f59297d9b74c7 Mon Sep 17 00:00:00 2001
From: Anonymous Maarten <[EMAIL REDACTED]>
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 02c046d90bc7..2f1869e370b6 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 \