Fixed platform

git-svn-id: https://svn.inf.ethz.ch/svn/lecturers/a2/trunk@8613 8c9fc860-2736-0410-a75d-ab315db34111

source/Release.Tool

@@ -153,7 +153,7 @@ BUILDS
 	RPiC {
 		INCLUDE "RPI NATIVE ARM COOP"
 		COMPILER "Compiler.Compile"
-		COMPILEOPTIONS "-p=ARM --cooperative --traceModule=Trace --preciseGC=no --define=NATIVE,ARM,COOP"
+		COMPILEOPTIONS "-p=ARMA2 --cooperative --traceModule=Trace --preciseGC=no --define=NATIVE,ARM,COOP"
 		EXCLUDEPACKAGES "System Drivers Compiler ApplicationsMini Applications GuiApplicationsMini GuiApplications Fun Testing Education Build EFI Contributions Oberon OberonGadgets OberonApplications OberonDocumentation OberonVoyager OberonAnts"
 		DISABLED "FALSE"
 	}