/* Support for GDB maintenance commands.
- Copyright (C) 2013-2019 Free Software Foundation, Inc.
+ Copyright (C) 2013-2020 Free Software Foundation, Inc.
This file is part of GDB.
#ifndef MAINT_H
#define MAINT_H
-#include "run-time-clock.h"
+#include "gdbsupport/run-time-clock.h"
#include <chrono>
extern void set_per_command_time (int);
private:
- // No need for these. They are intentionally not defined anywhere.
- scoped_command_stats &operator= (const scoped_command_stats &);
- scoped_command_stats (const scoped_command_stats &);
+ DISABLE_COPY_AND_ASSIGN (scoped_command_stats);
+
+ /* Print the time, along with a string. */
+ void print_time (const char *msg);
/* Zero if the saved time is from the beginning of GDB execution.
One if from the beginning of an individual command execution. */