From ac3afecc82ed3249e57b8926b19abef584933eea Mon Sep 17 00:00:00 2001
From: Boris Kolpackov <boris@codesynthesis.com>
Date: Mon, 8 Jul 2019 15:38:35 +0200
Subject: Adjust tmpfs sizes

---
 init | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

diff --git a/init b/init
index d84e0bb..a0edb50 100755
--- a/init
+++ b/init
@@ -44,11 +44,15 @@ mount -t devtmpfs -o nosuid,mode=0755 udev /dev
 mkdir -p /dev/pts
 mount -t devpts -o noexec,nosuid,gid=5,mode=0620 devpts /dev/pts || true
 
+# If tmpfs size is unspecified, then the default is 50%. Note that for /tmp in
+# particular we may (temporarily) utilize several gigabytes while building the
+# toolchain.
+#
 mkdir -p /run
-mount -t tmpfs -o "noexec,nosuid,size=10%,mode=0755" tmpfs /run
+mount -t tmpfs -o "noexec,nosuid,size=512M,mode=0755" tmpfs /run
 
 mkdir -p /tmp
-mount -t tmpfs -o "nodev,nosuid,size=10%,mode=1777" tmpfs /tmp
+mount -t tmpfs -o "nodev,nosuid,size=2G,mode=1777" tmpfs /tmp
 
 # Start udev.
 #
-- 
cgit v1.1