From 7fd0e6b9ae44d9e4fdcc8183608bdae80d39d849 Mon Sep 17 00:00:00 2001
From: simonmar <unknown>
Date: Wed, 22 Dec 1999 10:11:48 +0000
Subject: [PATCH] [project @ 1999-12-22 10:11:48 by simonmar] Add comment about
 TMPDIR.

---
 mk/config.mk.in | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/mk/config.mk.in b/mk/config.mk.in
index e21abe31086a..f616629d4a45 100644
--- a/mk/config.mk.in
+++ b/mk/config.mk.in
@@ -347,6 +347,11 @@ NoFibHcOpts = -O
 #
 ################################################################################
 
+# Directory used by GHC (and possibly other tools) for storing
+# temporary files.  If your /tmp isn't big enough, either override
+# this in build.mk or set your environment variable "TMPDIR" to point
+# to somewhere with more space.  (TMPDIR=. is a good choice).
+
 TMPDIR			= /tmp
 
 # FPTOOLS_TOP: the top of the fptools hierarchy, absolute path.
-- 
GitLab