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