diff options
Diffstat (limited to 'src/checkpoint.cpp')
| -rw-r--r-- | src/checkpoint.cpp | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/checkpoint.cpp b/src/checkpoint.cpp index 6fcc1a2..a37c1be 100644 --- a/src/checkpoint.cpp +++ b/src/checkpoint.cpp @@ -26,7 +26,8 @@ using namespace std; -void checkpoint(string msg, string filename) { +void checkpoint_run(string msg, string filename, string srcfilename, int line, string funcname) { + is_debug_mode() && std::cerr << "**** DEBUG: checkpoint " << msg << " passed with " << filename << " in " << srcfilename << " at line " << line << " in " << funcname << endl; if (msg == checkpoint_name) { cerr << "**** Checkpoint reached: " << msg << " (normal exit)" << endl; exit(0); |