Memory and CPU Usage Profiling

I (Erik) keep a separate branch specifically set up for profiling. That branch was just forked off a local ddc-head branch using:

darcs branch ddc-head ddc-profiling

After changing directory into the ddc-profiling branch I create a custom config in that branch by doing:

echo "BUILDFLAVOUR     = devel_prof"  > make/config-override.deps