From 4c0a6520d41b23964b84fdd4d7b0ddac0314a89f Mon Sep 17 00:00:00 2001
From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
Date: Wed, 5 Aug 2020 13:49:03 +0000
Subject: [PATCH] add __main__ runner

---
 experiments9/doDesign.py | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/experiments9/doDesign.py b/experiments9/doDesign.py
index f2029df..06ea57a 100644
--- a/experiments9/doDesign.py
+++ b/experiments9/doDesign.py
@@ -642,3 +642,13 @@ def scriptMain ( **kw ):
     sys.stderr.flush()
 
     return rvalue
+
+
+if __name__ == '__main__':
+    kwargs = {}
+    success = scriptMain(**kwargs)
+    shellSuccess = 0
+    if not success:
+        shellSuccess = 1
+
+    sys.exit(shellSuccess)
-- 
2.30.2