From bfc47d6b4bb252a7a70446b08efc1c91c048e3d0 Mon Sep 17 00:00:00 2001
From: Robert Alessi <alessi@robertalessi.net>
Date: Sun, 3 Mar 2024 06:56:34 +0100
Subject: a missing ?

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

(limited to 'tl-build.sh')

diff --git a/tl-build.sh b/tl-build.sh
index fa0b1bc..6b9df5a 100755
--- a/tl-build.sh
+++ b/tl-build.sh
@@ -15,7 +15,7 @@ echo ""
 
 echo "Do I have to get the latest development sources?  (You ought to"
 echo "have done so before launching this script.)"
-read get_dev_src'[y/n] '
+read get_dev_src?'[y/n] '
 if [[ ${get_dev_src} == "y" ]]; then
     ./checkout-tl.sh && echo "... Ok."
 fi
-- 
cgit v1.2.3