# HG changeset patch # User Ludovic Chabant # Date 1406160287 25200 # Node ID e9d605753a8a25611ab78ee98d7fb7cfb8e20e6a # Parent 478638833c3bef0625de95c123e795eb3ea01018 Removed useless option from Unix script. diff -r 478638833c3b -r e9d605753a8a plat/unix/update_tags.sh --- a/plat/unix/update_tags.sh Wed Jul 23 17:04:34 2014 -0700 +++ b/plat/unix/update_tags.sh Wed Jul 23 17:04:47 2014 -0700 @@ -22,7 +22,7 @@ } -while getopts "h?e:x:t:s:l:" opt; do +while getopts "h?e:x:t:s:" opt; do case $opt in h|\?) ShowUsage