profiling in auto builds has stopped working, turn it off
This commit is contained in:
		
							parent
							
								
									df561f1563
								
							
						
					
					
						commit
						7742bd2104
					
				
							
								
								
									
										2
									
								
								Makefile
									
									
									
									
									
								
							
							
						
						
									
										2
									
								
								Makefile
									
									
									
									
									
								
							| @ -126,7 +126,7 @@ BUILDFLAGS1:=-rtsopts $(WARNINGS) $(INCLUDEPATHS) $(PREFERMACUSRLIBFLAGS) $(GHCM | ||||
| BUILDFLAGS:=$(BUILDFLAGS1) -DVERSION='"$(VERSION)dev"' | ||||
| PROFBUILDFLAGS:=-prof -fprof-auto -osuf hs_p | ||||
| # sp needs different quoting:
 | ||||
| AUTOBUILDFLAGS:=$(BUILDFLAGS1) $(PROFBUILDFLAGS) -DVERSION='\"$(VERSION)dev\"' | ||||
| AUTOBUILDFLAGS:=$(BUILDFLAGS1) -DVERSION='\"$(VERSION)dev\"' # $(PROFBUILDFLAGS)  | ||||
| LINUXRELEASEBUILDFLAGS:=-DMAKE $(WARNINGS) $(INCLUDEPATHS) -O2 -static -optl-static -optl-pthread | ||||
| MACRELEASEBUILDFLAGS:=-DMAKE $(WARNINGS) $(INCLUDEPATHS) $(PREFERMACUSRLIBFLAGS) -O2 # -optl-L/usr/lib | ||||
| #WINDOWSRELEASEBUILDFLAGS:=-DMAKE $(WARNINGS) $(INCLUDEPATHS)
 | ||||
|  | ||||
		Loading…
	
		Reference in New Issue
	
	Block a user