#ifndef MAINT_H
#define MAINT_H
-#include "run-time-clock.h"
+#include "common/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. */