.

com-lihaoyi · Apr 8, 2023 · 1ae58e4 · 1ae58e4
1 parent d50c0ed
commit 1ae58e4
Show file tree

Hide file tree

Showing 2 changed files with 12 additions and 3 deletions.
diff --git a/ci/patch-mill-bootstrap.sh b/ci/patch-mill-bootstrap.sh
@@ -0,0 +1,9 @@
+#!/usr/bin/env sh
+# Apply a patch, if present, before bootstrapping
+
+set -eux
+
+# Patch local build
+if [ -f ci/mill-bootstrap.patch ] ; then
+  patch -p1 < ci/mill-bootstrap.patch
+fi
diff --git a/ci/prepare-mill-bootstrap.sh b/ci/prepare-mill-bootstrap.sh
@@ -6,6 +6,6 @@ set -eux
 ./mill contrib.buildinfo.publishLocal
 
 # Patch local build
-if [ -f ci/mill-bootstrap.patch ] ; then
-  patch -p1 < ci/mill-bootstrap.patch
-fi
+ci/patch-mill-bootstrap.sh
+
+