From 8e5cfb0b8fa38c56e88143abf7784cad524c8395 Mon Sep 17 00:00:00 2001 From: Tianon Gravi Date: Wed, 19 Mar 2025 10:58:34 -0700 Subject: [PATCH] Copy up Jenkinsfile.* into "meta" See code comments for details --- Jenkinsfile.meta | 10 ++++++++++ 1 file changed, 10 insertions(+) diff --git a/Jenkinsfile.meta b/Jenkinsfile.meta index bac9969..0a4459f 100644 --- a/Jenkinsfile.meta +++ b/Jenkinsfile.meta @@ -107,6 +107,16 @@ node { sh '.scripts/builds.sh --cache cache-builds.json sources.json > builds.json' } } + stage('Janky') { + // ideally, the other jobs that act on the data generated by this one would directly reference each Jenkinsfile.* from *within* the ".scripts" submodule that this job has updated (so that we only run updated scripts with updated data, in the case of something major changing for example) + // Jenkins *does* technically support this, but it requires disabling "lightweight checkout", and doing the full checkout of "meta" (even just making sure it's up-to-date) *just* to grab a single Jenkinsfile from the .scripts submodule is really heavy and kicks over our Jenkins server + // to mitigate this, we "copy up" the Jenkinsfiles directly into "meta" so that we can go back to a "lightweight" checkout + sh ''' + rm -rf .jenkins + mkdir .jenkins + cp -av .scripts/Jenkinsfile* .jenkins/ + ''' + } stage('Commit') { sh ''' git add -A .