diff options
author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2003-08-19T09·04+0000 |
---|---|---|
committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2003-08-19T09·04+0000 |
commit | 2de850479101e5a378c87d1392ea03c63ce224cf (patch) | |
tree | 4a7782e4ec3439cc73311d68e272546c486f9116 /src/globals.cc | |
parent | 31e4aa64396858e3b6ef8477397c84cbd80670fc (diff) |
* Delete the temporary directories of failed builds by default, and an
option `--keep-failed' to override this behaviour.
Diffstat (limited to 'src/globals.cc')
-rw-r--r-- | src/globals.cc | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/globals.cc b/src/globals.cc index 1ec0c4f9ba21..f21820f59771 100644 --- a/src/globals.cc +++ b/src/globals.cc @@ -17,6 +17,9 @@ string nixLogDir = "/UNINIT"; string nixDBPath = "/UNINIT"; +bool keepFailed = false; + + void openDB() { nixDB.open(nixDBPath); |