From a1c40287acea351b0e6419cacc468d8af637f387 Mon Sep 17 00:00:00 2001 From: Bruce Forstall Date: Wed, 13 Jan 2021 14:48:56 -1000 Subject: [PATCH] Do a JIT rolling build if the JIT-EE GUID changes (#46963) Normally, any JIT-EE GUID change would be accompanied by a change in the JIT source code, so a JIT build would be kicked off. But in some cases, such as a change in the SuperPMI data format to cause an incompatible format, with a manual change of the GUID to compensate, should also kick off a JIT build so asmdiff baselines have a JIT with an appropriate GUID. --- eng/pipelines/coreclr/jitrollingbuild.yml | 1 + 1 file changed, 1 insertion(+) diff --git a/eng/pipelines/coreclr/jitrollingbuild.yml b/eng/pipelines/coreclr/jitrollingbuild.yml index d835a05..cb23fd3 100644 --- a/eng/pipelines/coreclr/jitrollingbuild.yml +++ b/eng/pipelines/coreclr/jitrollingbuild.yml @@ -6,6 +6,7 @@ trigger: paths: include: - src/coreclr/jit/* + - src/coreclr/inc/jiteeversionguid.h # This pipeline is supposed to be run only on merged changes # and should not be triggerable from a PR. -- 2.7.4