diff options
-rw-r--r-- | Build/source/utils/README | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Build/source/utils/README b/Build/source/utils/README index a9d0cf2e085..edb8ab70187 100644 --- a/Build/source/utils/README +++ b/Build/source/utils/README @@ -45,8 +45,8 @@ After building clisp as described below, run the TL Build --with-xindy --with-clisp=$clisp_builddir/clisp to include xindy in the build. It is disabled by default. -Note: do NOT redirect the output of clisp build messages (while -running "make") to a file, as this may cause weird build problems. +Do NOT use nohup when building clisp; this may cause weird build +problems. Regular redirections of stdout/stderr seem ok. mkdir clisp; cd clisp clisp_basedir=`pwd` |