diff --git a/manifest.sh b/manifest.sh index fbb937b1..6d3fa6f8 100644 --- a/manifest.sh +++ b/manifest.sh @@ -36,3 +36,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]="1706848021" +# Saving rr[] in the manifest +# WARNING: overriding previous rr[major]=5 +rr[major]="6" +rr[results_date]="1706848021"