let "make" use highest ghc optimisation level
This commit is contained in:
		
							parent
							
								
									c03ab4bed3
								
							
						
					
					
						commit
						1d087d8b8d
					
				
							
								
								
									
										2
									
								
								Makefile
									
									
									
									
									
								
							
							
						
						
									
										2
									
								
								Makefile
									
									
									
									
									
								
							| @ -1,4 +1,4 @@ | |||||||
| BUILD=ghc --make hledger.hs -o hledger -O2 | BUILD=ghc --make hledger.hs -o hledger -O3 | ||||||
| BUILDPROF=$(BUILD) -prof -auto-all | BUILDPROF=$(BUILD) -prof -auto-all | ||||||
| PROFILE=./hledger -s balance +RTS -p | PROFILE=./hledger -s balance +RTS -p | ||||||
| TIME=`date +"%Y%m%d%H%M"` | TIME=`date +"%Y%m%d%H%M"` | ||||||
|  | |||||||
		Loading…
	
		Reference in New Issue
	
	Block a user