diff options
Diffstat (limited to 'lib/globals.sh')
-rw-r--r-- | lib/globals.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/globals.sh b/lib/globals.sh index 17582041..f73058eb 100644 --- a/lib/globals.sh +++ b/lib/globals.sh @@ -111,6 +111,7 @@ rerun_failed_tests=false gcc_compare_results="" expected_failures="" flaky_failures="" +failures_expiration_date="" # source a user specific config file for commonly used configure options. # These overide any of the above values. |