diff options
Diffstat (limited to '.ci')
| -rwxr-xr-x | .ci/license-header.sh | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/.ci/license-header.sh b/.ci/license-header.sh index 565a4a6093..70a842e01d 100755 --- a/.ci/license-header.sh +++ b/.ci/license-header.sh @@ -41,9 +41,8 @@ EOF while true; do case "$1" in - (-uc) UPDATE=true; COMMIT=true ;; (-u|--update) UPDATE=true ;; - (-c|--commit) COMMIT=true ;; + (-c|--commit) UPDATE=true; COMMIT=true ;; ("$0") break ;; ("") break ;; (*) usage ;; |