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