Update archive filename for reproducible comparison job (#1073)

adoptium · Jul 12, 2024 · e20869f · e20869f
1 parent 60ca169
commit e20869f
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/tools/reproduce_comparison/Jenkinsfile b/tools/reproduce_comparison/Jenkinsfile
@@ -169,11 +169,11 @@ pipeline {
                             }
                             if (rc != 0) {
                                 currentBuild.result = 'UNSTABLE'
-                                echo 'Differences found: two builds are not the same! Please see the archived repro_diff.out.'
+                                echo 'Differences found: two builds are not the same! Please see the archived reprotest.diff.'
                             } else {
                                 echo 'Success: two builds are the same!'
                             }
-                            archiveArtifacts artifacts: "**/repro_diff.out"
+                            archiveArtifacts artifacts: "**/reprotest.diff"
                         }
                     } catch (Exception err) {
                         echo err.getMessage()