Skip to content
Snippets Groups Projects
Commit 6f9b405f authored by Palmer Dabbelt's avatar Palmer Dabbelt
Browse files

It's DISTDIR, not DESTDIR

$ grep DISTDIR Makefile.in
DISTDIR ?= /var/cache/distfiles
parent 3ae3d5b0
No related branches found
No related tags found
No related merge requests found
......@@ -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.
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment