Function set_profile_enabled

src/profile.cpp:9–11

static std::map<std::string, double> _profile_times;

void set_profile_enabled(bool enabled) {
  _profile_enabled = enabled;
}

bool get_profile_enabled() {
  return _profile_enabled;