diff --git a/configuration/buildAndUpdateProduct.sh b/configuration/buildAndUpdateProduct.sh index f2a9e95a442..48de96832b7 100755 --- a/configuration/buildAndUpdateProduct.sh +++ b/configuration/buildAndUpdateProduct.sh @@ -132,7 +132,7 @@ do case $option in g) gwtcompile=0;; t) testing=0;; - b) onegwtpermutationonly=1;; + b) onegwtpermutationonly=1;; o) offline=1;; c) clean="";; p) proxy=1;;