# HG changeset patch
# User Richard Westhaver <ellis@rwest.io>
# Date 1718830443 0
# Node ID 39291a549477f95ab9212f5f2950e50a5473cd61
# Parent  8b0c06b812c1b21b000613232302b08b475b5933
speedup bootstrap with compressed infra.core

diff -r 8b0c06b812c1 -r 39291a549477 bootstrap.sh
--- a/bootstrap.sh	Wed Jun 19 20:43:10 2024 +0000
+++ b/bootstrap.sh	Wed Jun 19 20:54:03 2024 +0000
@@ -31,12 +31,12 @@
   local _sbcl_pack="sbcl.tar.zst"
   # local _rocksdb_pack="rocksdb.tar.zst"
   local _core_pack="core.tar.zst"
-  local _user_core="user.core"
+  local _infra_core="infra.core"
   # local _core_src_pack="core-source.tar.zst"
   local _sbcl_url="${_url}/${_sbcl_pack}"
   # local _rocksdb_url="${_url}/${_rocksdb_pack}"
   local _core_url="${_url}/${_core_pack}"
-  local _user_core_url="https://packy.compiler.company/dist/${_arch}/lisp/${_user_core}"
+  local _infra_core_url="https://packy.compiler.company/dist/${_arch}/lisp/${_infra_core}"
   # local _core_src_url="${_url}/${_core_src_pack}"
   if [ ! -f "tmp/$_sbcl_pack" ]; then
     ensure download "$_sbcl_url" "tmp/$_sbcl_pack" "$_arch"