set file extensions for ARMA2

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

source/Compiler.Mod

@@ -582,7 +582,7 @@ BEGIN
 	DoAddPlatform("Minos","-b=ARM --objectFile=Minos --define=ARM"); 
 	DoAddPlatform("TRM","-b=TRM --objectFile=Generic --metaData=simple --objectFileExtension=.GofT --symbolFileExtension=.SymT --define=ARM");
 	DoAddPlatform("TRMI","-b=TRM --objectFile=Intermediate --metaData=simple --objectFileExtension=.IroT --symbolFileExtension=.IrsT --define=ARM");
-	DoAddPlatform("ARMA2","-b=ARM --mergeSections --define=ARM");
+	DoAddPlatform("ARMA2","-b=ARM --mergeSections --define=ARM --objectFileExtension=.Gof --symbolFileExtension=.Sym");
 	DoAddPlatform("Unix32","-b=AMD --bits=32 --mergeSections --traceModule=Trace --objectFileExtension=.GofU --symbolFileExtension=.SymU --preciseGC --cellsAreObjects --platformCC=C --define=UNIX,I386");
 	DoAddPlatform("Unix64","-b=AMD --bits=64 --mergeSections --traceModule=Trace --objectFileExtension=.GofUu --symbolFileExtension=.SymUu --preciseGC --cellsAreObjects --platformCC=C --define=UNIX,AMD64");