diff --git a/build-config.sh b/build-config.sh
index 9a5da910..97f99a2f 100644
--- a/build-config.sh
+++ b/build-config.sh
@@ -219,7 +219,7 @@ include_core_crocods
 include_core_cap32
 include_core_mu
 include_core_minivmac
-include_core_oberon_risc
+include_core_oberon
 
 # -------------------------------------------------------------------------------------------------
 # Devkits