fixed GetConfig()

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

source/Generic.Unix.I386.Machine.Mod

@@ -7,7 +7,7 @@ CONST
 	
 	Version = "A2 Generic, ";
 
-	DefaultObjectFileExtension* = ".Obj";
+	DefaultObjectFileExtension* = ".GofU";
 	
 	Second* = 1000; (* frequency of ticks increments in Hz *)
 
@@ -498,7 +498,8 @@ END GetTimer;
 	VAR i, src: LONGINT; ch: CHAR;
 	BEGIN
 		ASSERT (name[0] # "=");	(* no longer supported, use GetInit instead *)
-		src := -1;
+		
+		src := -1;  val := "";
 		LOOP
 			REPEAT
 				INC( src );  ch := config[src]; 
@@ -528,7 +529,9 @@ END GetTimer;
 				UNTIL ch <= ' '
 			END
 		END;
-		IF name = "ObjectFileExtension" THEN  val := ".GofU" ELSE  val[0] := 0X  END;
+		IF (name = "ObjectFileExtension") & (val = "") THEN  
+			val := DefaultObjectFileExtension
+		END;
 	END GetConfig;
 
 

source/Unix.I386.Machine.Mod

@@ -445,7 +445,8 @@ END GetTimer;
 	VAR i, src: LONGINT; ch: CHAR;
 	BEGIN
 		ASSERT (name[0] # "=");	(* no longer supported, use GetInit instead *)
-		src := -1;
+		
+		src := -1;  val := "";
 		LOOP
 			REPEAT
 				INC( src );  ch := config[src]; 
@@ -475,7 +476,9 @@ END GetTimer;
 				UNTIL ch <= ' '
 			END
 		END;
-		val[0] := 0X
+		IF (name = "ObjectFileExtension") & (val = "") THEN  
+			val := DefaultObjectFileExtension
+		END;
 	END GetConfig;