1 files changed, 1 insertions, 1 deletions

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