From 64ddfcb8ba5498bd25f469d5daabdbcafbc41821 Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@inria.fr>
Date: Wed, 24 Jun 2015 16:44:12 +0200
Subject: [PATCH 1/1] breakpoint messages always show up

---
 source/utils.py | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/source/utils.py b/source/utils.py
index 652d809..e0f3c72 100644
--- a/source/utils.py
+++ b/source/utils.py
@@ -80,6 +80,9 @@ def breakpoint (message, cmd = None):
         print(message)
         os.system(cmd)
 
+    else:
+        print("Ignoring breakpoint (BREAKPOINT_MODE=False) : {}".format(message))    
+
 
 ########################################
 def makedirs(path):
-- 
2.43.0