changeset 108:d7db67728279

unix: use `read -r' rather than just `read' Since we don't care about escaping or field splitting, but just want to exit as soon as user hits <Enter> key.
author Ilya Tumaykin <itumaykin@gmail.com>
date Mon, 22 Feb 2016 03:50:50 +0300
parents 6539ab2d189b
children d287d2a72015
files plat/unix/update_tags.sh
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/plat/unix/update_tags.sh	Mon Feb 22 03:49:49 2016 +0300
+++ b/plat/unix/update_tags.sh	Mon Feb 22 03:50:50 2016 +0300
@@ -100,5 +100,5 @@
 
 if [ $PAUSE_BEFORE_EXIT -eq 1 ]; then
     printf "Press ENTER to exit..."
-    read
+    read -r
 fi