diff --git a/update_psa b/update_psa index e646c0b..e6d4edd 100755 --- a/update_psa +++ b/update_psa @@ -31,7 +31,6 @@ WORKING_DIRECTORY=${PWD} while test $# -gt 0; do case $1 in --maintenance | -m ) - shift MAINTENANCE="YES" ;; --file | --fil | --fi | --f | -file | -fil | -fi | -f )