treated option "newObjectFile" as addition (not replacement)

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

source/FoxIntermediateBackend.Mod

@@ -14012,7 +14012,9 @@ TYPE
 			noRuntimeChecks := options.GetFlag("noRuntimeChecks");
 			noAsserts := options.GetFlag("noAsserts");
 			cooperative := options.GetFlag("cooperative");
-			newObjectFile := options.GetFlag("newObjectFile");
+			IF options.GetFlag("newObjectFile") THEN
+				newObjectFile := TRUE; (* might have been set previously via SetNewObjectFile *)
+			END;
 			IF options.GetString("objectFile",string) & (string = "Minos") THEN 
 				simpleMetaData := TRUE
 			END;