diff --git a/bootstrap.sh b/bootstrap.sh index e820a6bbe..8a8d625ce 100755 --- a/bootstrap.sh +++ b/bootstrap.sh @@ -1113,7 +1113,7 @@ run () parse_command_line_options () { - local SHORTOPTS=':apcmt:dvh' + local SHORTOPTS=':apcmt:dvho:' nassert OPT_TARGET