really fix the patch count in development builds' --version
This commit is contained in:
		
							parent
							
								
									c2352c3c64
								
							
						
					
					
						commit
						4568410afa
					
				
							
								
								
									
										11
									
								
								Version.hs
									
									
									
									
									
								
							
							
						
						
									
										11
									
								
								Version.hs
									
									
									
									
									
								
							| @ -6,10 +6,13 @@ import Options (progname) | ||||
| 
 | ||||
| -- updated by build process from VERSION | ||||
| version       = "0.3.99" | ||||
| -- PATCHES defined by build process from repo state | ||||
| buildversion  = version ++ "." ++ "\ | ||||
| PATCHES\ | ||||
| " | ||||
| #ifdef PATCHES | ||||
| -- a "make" development build defines PATCHES from the repo state | ||||
| patchlevel = "." ++ show PATCHES -- must be numeric ! | ||||
| #else | ||||
| patchlevel = "" | ||||
| #endif | ||||
| buildversion  = version ++ patchlevel | ||||
| 
 | ||||
| versionstr    = prettify $ splitAtElement '.' buildversion | ||||
|                 where | ||||
|  | ||||
		Loading…
	
		Reference in New Issue
	
	Block a user