diff options
Diffstat (limited to 'lib/globals.sh')
| -rw-r--r-- | lib/globals.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/lib/globals.sh b/lib/globals.sh index ab37a36d..92681035 100644 --- a/lib/globals.sh +++ b/lib/globals.sh @@ -114,6 +114,8 @@ expected_failures="" flaky_failures="" failures_expiration_date="" +maintainer_mode=no + prefix="" # source a user specific config file for commonly used configure options. |