diff --git a/scripts/dev_cli.sh b/scripts/dev_cli.sh index 34d62a838..0587ff42f 100755 --- a/scripts/dev_cli.sh +++ b/scripts/dev_cli.sh @@ -603,7 +603,6 @@ while [ $# -gt 0 ]; do cmd_help exit 1 } ;; - -y | --unattended) { OPT_UNATTENDED=true; } ;; -*) die "Unknown arg: $1. Please use \`$0 help\` for help." ;;