the current number of builds in Release.Tool has exceeded the limit (16) -> increased the limit to 32 · 15d0aec2e0 - Gogs

the current number of builds in Release.Tool has exceeded the limit (16) -> increased the limit to 32

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

eth.morozova 9 년 전

부모

45d20428ef

커밋

15d0aec2e0

1개의 변경된 파일과 1개의 추가작업 그리고 1개의 파일을 삭제

분할 보기 변경상태 보기

						
							+ 1
							
							- 1
						
source/Release.Mod
							 
								파일 보기
							
				@@ -114,7 +114,7 @@ CONST
			
				 	(* File.release*)
			
				 	All = {0..31};
			
				-	MaxBuilds = 16;
			
				+	MaxBuilds = 32;
			
				 	MaxPrefixes = 32;
			
				 	MaxNofImports = 64; (* Maximum number of entries in a module import section *)