From 78d5a0913edc573912153d5984c9f6b8aeef9a82 Mon Sep 17 00:00:00 2001 From: Simon Michael Date: Sat, 17 Oct 2015 11:23:39 -0700 Subject: [PATCH] tools: dev-heap improvements --- Makefile | 11 +++++++---- 1 file changed, 7 insertions(+), 4 deletions(-) diff --git a/Makefile b/Makefile index b32efaf83..9bd946b03 100644 --- a/Makefile +++ b/Makefile @@ -381,10 +381,13 @@ dev-profile: devprof \ && profiteur devprof.prof dev-heap: devprof \ - $(call def-help,dev-heap, get a heap profile of the dev.hs script ) - time ./devprof +RTS -hc \ - && cp devprof.hp devprof.hp.$(TIME) \ - && hp2ps devprof.hp.$(TIME) + $(call def-help,dev-heap, get heap profiles of the dev.hs script ) + time ./devprof +RTS -hc -L1000 && cp devprof.hp devprof-hc.hp && hp2ps devprof-hc.hp + time ./devprof +RTS -hr -L1000 && cp devprof.hp devprof-hr.hp && hp2ps devprof-hr.hp + +dev-heap-upload: + curl -F "file=@devprof-hc.hp" -F "title='hledger parser'" http://heap.ezyang.com/upload + curl -F "file=@devprof-hr.hp" -F "title='hledger parser'" http://heap.ezyang.com/upload # # build other executables quickly