Show checkpoints passed with -debug switch

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);