Use updated target triple.

resistor · davidchisnall · commit 4b7d558801aa · 2025-08-01T14:01:24.000+01:00
diff --git a/compile_flags.txt b/compile_flags.txt
@@ -2,7 +2,7 @@
 -std=c++20
 -Qunused-arguments
 -target
-riscv32-unknown-unknown
+riscv32cheriot-unknown-cheriotrtos
 -mcpu=cheriot
 -mabi=cheriot
 -mxcheri-rvc
