Tools: fix style consistency in shell scripts "if [...]; then"

This commit is contained in:
Matthias Grob
2019-02-24 11:20:38 -05:00
committed by Daniel Agar
parent c21849b9b5
commit bee1835831
9 changed files with 38 additions and 75 deletions
+1 -2
View File
@@ -3,8 +3,7 @@ set -eu
PATTERN="-e ."
if [ $# -gt 0 ]
then
if [ $# -gt 0 ]; then
PATTERN="$1"
fi