rts: Rename the nondescript initProfiling2 to refreshProfilingCCSs
authorDaniel Gröber <dxld@darkboxed.org>
Wed, 10 Jul 2019 15:14:24 +0000 (17:14 +0200)
committerMarge Bot <ben+marge-bot@smart-cactus.org>
Tue, 16 Jul 2019 06:41:23 +0000 (02:41 -0400)
commit52f755aa203c55e44dce79c9ac1abc245977b000
tree065ab3e51787e6894945cae0c06c1090c0e78212
parent373c9cb379bd64c4d295becf3afce122a6e199f4
rts: Rename the nondescript initProfiling2 to refreshProfilingCCSs
rts/Linker.c
rts/Profiling.c
rts/Profiling.h