diff --git a/build.sh b/build.sh index db249550491d6b506d3107e98481ed2ab28fcb16..2e6d2167b3efe2796a58548eb8fcedb0e28d11c9 100755 --- a/build.sh +++ b/build.sh @@ -72,7 +72,7 @@ EOF # Process command-line options. Remember the options for passing to the # containerized build script. -while getopts :aAbd:ceEhiI:j:orstvfX: optchr; do +while getopts :aAb:d:ceEhiI:j:orstvfX: optchr; do case "$optchr" in a) enable_autotuner="0"