Print an error message when the OpenOCD config file can't be read

diff --git a/debug/testlib.py b/debug/testlib.py
index 03ee0b4c3024eef87e87d6f869d1c5402799c5c9..392772291f2ffa633b38b9d462dcec1005a59941 100644 (file)
--- a/debug/testlib.py
+++ b/debug/testlib.py
@@ -163,7 +163,12 @@ class Openocd(object):
         ]
 
         if config:
-            cmd += ["-f", find_file(config)]
+            f = find_file(config)
+            if f is None:
+                print("Unable to read file " + config)
+                exit(1)
+
+            cmd += ["-f", f]
         if debug:
             cmd.append("-d")