From abd08e8216a358478f2828b1ef7c8f80ddc9a9b5 Mon Sep 17 00:00:00 2001
From: Robert Alessi <alessi@robertalessi.net>
Date: Thu, 14 Mar 2024 14:40:01 +0100
Subject: wrong sourcedir for clisp

---
 tl-build.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tl-build.sh b/tl-build.sh
index b6260a0..84d0803 100755
--- a/tl-build.sh
+++ b/tl-build.sh
@@ -47,7 +47,7 @@ read build_tl?'[y/n] '
 
 # First build: clisp
 if [[ ${with_clisp} == "y" ]]; then
-    mkdir source/clisp && cd source/clisp
+    mkdir $tl_sourcedir/clisp && cd $tl_sourcedir/clisp
     clisp_basedir=`pwd`
     clisp_toolsdir=$clisp_basedir/clisp-tools
     clisp_builddir=$clisp_basedir/clisp-build
-- 
cgit v1.2.3