diff options
Diffstat (limited to 'src/globals.hh')
| -rw-r--r-- | src/globals.hh | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/globals.hh b/src/globals.hh index 2c4d33920..107d617bc 100644 --- a/src/globals.hh +++ b/src/globals.hh @@ -69,6 +69,12 @@ extern string nixLogDir; extern string nixDBPath; +/* Misc. global flags. */ + +/* Whether to keep temporary directories of failed builds. */ +extern bool keepFailed; + + /* Open the database environment. */ void openDB(); |