diff options
| -rw-r--r-- | test/lit.cfg | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/test/lit.cfg b/test/lit.cfg index f81576f9..3bda57df 100644 --- a/test/lit.cfg +++ b/test/lit.cfg @@ -39,6 +39,7 @@ if klee_obj_root is not None: # Propogate 'HOME' through the environment. config.environment['HOME'] = os.environ['HOME'] +config.environment['PWD'] = os.environ['PWD'] ### |