From 6f9b405fa101cd6652c8877336b4cccb1cdfa3cb Mon Sep 17 00:00:00 2001
From: Palmer Dabbelt <palmer.dabbelt@eecs.berkeley.edu>
Date: Sat, 4 Jul 2015 20:19:18 -0700
Subject: [PATCH] It's DISTDIR, not DESTDIR

$ grep DISTDIR Makefile.in
DISTDIR ?= /var/cache/distfiles
---
 README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/README.md b/README.md
index 3ecac39..b50fd35 100644
--- a/README.md
+++ b/README.md
@@ -33,7 +33,7 @@ that property.  Make sure that the mount point does not contain spaces.
 
 This process will start by downloading about 200 MiB of upstream sources, then
 will patch, build, and install the toolchain.  If a local cache of the
-upstream sources exists in $(DESTDIR), it will be used; the default location
+upstream sources exists in $(DISTDIR), it will be used; the default location
 is /var/cache/distfiles.  Your computer will need about 8 GiB of disk space to
 complete the process.
 
-- 
GitLab