From 1167fde2b295026c7ab5e497fa621979d36df097 Mon Sep 17 00:00:00 2001 From: Daiderd Jordan Date: Wed, 1 Nov 2017 16:11:50 +0100 Subject: [PATCH] docs: add note about makeFlags quoting --- doc/stdenv.xml | 10 ++++++++-- 1 file changed, 8 insertions(+), 2 deletions(-) diff --git a/doc/stdenv.xml b/doc/stdenv.xml index a097762130a..ee110b77104 100644 --- a/doc/stdenv.xml +++ b/doc/stdenv.xml @@ -698,8 +698,14 @@ nothing. A list of strings passed as additional flags to make. These flags are also used by the default install and check phase. For setting make flags specific to the - build phase, use buildFlags (see - below). + build phase, use buildFlags (see below). + + +makeFlags = [ "PREFIX=$(out)" ]; + + + The flags are quoted in bash, but environment variables can + be specified by using the make syntax.