Skip to content

Commit 7a4cbce

Browse files
committed
wb | remove RTS profiling from profile definitions, shell parameter only
1 parent 9a32561 commit 7a4cbce

5 files changed

Lines changed: 26 additions & 2826 deletions

File tree

Makefile

Lines changed: 9 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -62,6 +62,15 @@ ci-targets: $(CI_TARGETS)
6262
workbench-internals-walkthrough:
6363
emn nix/workbench/doc.org
6464

65+
# Alias for removed profiles: inject RTS -hT (space-heap) heap profile + -l (eventlog) as shell parameters on a NON-profiled build.
66+
# Neither -hT nor -l needs a profiled runtime, so delegate to the base target, not -prof (a -prof target hardcodes --arg profiledBuild true).
67+
6-dense-rtsprof:
68+
WB_PROFILING="space-heap+eventlog" $(MAKE) 6-dense
69+
6-dense-1h-rtsprof:
70+
WB_PROFILING="space-heap+eventlog" $(MAKE) 6-dense-1h
71+
6-dense-4h-rtsprof:
72+
WB_PROFILING="space-heap+eventlog" $(MAKE) 6-dense-4h
73+
6574
##
6675
## Base targets:
6776
##

0 commit comments

Comments
 (0)