set WORKSPACE

diff --git a/kernel_inpbuilder.py b/kernel_inpbuilder.py
index e82d27c9d9ff24e0dec09b1729b3ead0ef2b5335..df8f657f35fd936fef3c293b620ac55f99711d7e 100644 (file)
--- a/kernel_inpbuilder.py
+++ b/kernel_inpbuilder.py
@@ -428,7 +428,9 @@ if __name__ == '__main__':
     # add current dir to python search path
     cmd_folder = os.path.join(os.path.abspath(OVERLAY_DIR), '..')
     sys.path.insert(0, cmd_folder)
+    os.environ['WORKSPACE']=cmd_folder  # needed by kernel_persistence
     import kernel_persistence
+   
 
     if has_extra_modules():
         if not install_extra_modules():