diff --git a/manifest.sh b/manifest.sh index 32d063e7a..678df38bc 100644 --- a/manifest.sh +++ b/manifest.sh @@ -31,3 +31,7 @@ rr[major]="5" # WARNING: overriding previous rr[no_regression_p]=no_regression_p rr[no_regression_p]="gnu_llvm_no_regression_p" rr[results_date]="1711933796" +# Saving rr[] in the manifest +# WARNING: overriding previous rr[major]=5 +rr[major]="6" +rr[results_date]="1711933796"