chiark / gitweb /
Merge branch 'deploy' into deploy.universe deploy.universe
authorMark Wooding <mdw@distorted.org.uk>
Sun, 9 Aug 2020 00:11:23 +0000 (01:11 +0100)
committerMark Wooding <mdw@distorted.org.uk>
Sun, 9 Aug 2020 00:11:23 +0000 (01:11 +0100)
* deploy:
  Makefile: Don't insist on `/usr/lib/.../coreutils/'.
  bin/chroot-maint: Enhance the `CROSS_TOOLS' pattern machinery.

etc/ccache.conf
local.mk

index a76ac4116df2e457071b9ac6cb725578ea47a4f1..abb1750c89fe36d6ab3efa78331c79ff3fd72198 100644 (file)
@@ -1,3 +1,3 @@
 ### -*-conf-*-
 
-max_size = 256Mi
+max_size = 2Gi
index e9039171d423531353df16b5285be70e6a925e38..6e4134909e3845ff87de3a6b58e987a45da7dbee 100644 (file)
--- a/local.mk
+++ b/local.mk
@@ -1,5 +1,7 @@
 ### -*-makefile-*-
 
+VG = vg-build
+
 APTSRC = etc/aptsrc.site.conf etc/aptsrc.local.conf
 TOOLSARCH = amd64